diff options
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |