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

This renaming was overlooked in the previous check_header() rename.
2018-04-01 22:13:55 +02:00 · 2018-04-01 22:13:55 +02:00 · ad5bbc4086
commit ad5bbc4086
parent 4130e05ff4
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -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"
 }