diff --git a/configure b/configure index b595496d3a5e823e953cb3a148c35d28177fccbb..eb31d8d6da6ece56d3d8c398c840b9ef434d8198 100755 --- a/configure +++ b/configure @@ -740,13 +740,13 @@ check_type(){ headers=$1 type=$2 shift 2 - disable $type + disable_safe "$type" incs="" for hdr in $headers; do incs="$incs #include <$hdr>" done - check_cc "$@" <<EOF && enable $type + check_cc "$@" <<EOF && enable_safe "$type" $incs $type v; EOF