summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
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 "$@" <<EOF && enable_safe $header || disable_safe $header
+ disable_safe $header
+ check_cpp "$@" <<EOF && enable_safe $header
#include <$header>
int x;
EOF