summaryrefslogtreecommitdiffstats
path: root/tools/configure
diff options
context:
space:
mode:
Diffstat (limited to 'tools/configure')
-rwxr-xr-xtools/configure2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure
index 27609ca13a..5fa79038e9 100755
--- a/tools/configure
+++ b/tools/configure
@@ -2835,7 +2835,7 @@ else
GCCOPTS="$GCCOPTS -Wno-pointer-sign"
fi
- if test "$gccnum" -ge "401"; then
+ if test "$gccnum" -ge "400"; then
# this is a lame hack to avoid "warning: dereferencing type-punned pointer
# will break strict-aliasing rules"