configure: Rename require_header() --> require_headers()

This renaming was overlooked in the previous check_header() rename.

1 files changed, 2 insertions, 2 deletions

diff --git a/configure b/configure
index 848fe4881f..f5e7f1578c 100755
--- a/configure
+++ b/configure
@@ -1184,8 +1184,8 @@ require_cc(){
     check_cc "$@" || die "ERROR: $name failed"
 }
 
-require_header(){
-    log require_header "$@"
+require_headers(){
+    log require_headers "$@"
     headers="$1"
     check_headers "$@" || die "ERROR: $headers not found"
 }