summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index b595496d3a..eb31d8d6da 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