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" }