diff --git a/configure b/configure index 813a333fa3..281ce24a17 100755 --- a/configure +++ b/configure @@ -574,7 +574,8 @@ check_header(){ log check_header "$@" header=$1 shift - check_cpp "$@" < int x; EOF