diff options
-rwxr-xr-x | tools/configure | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 37d92d3372..85764308db 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -649,6 +649,13 @@ else | |||
649 | 649 | ||
650 | echo "Using $CC $gccver ($gccnum)" | 650 | echo "Using $CC $gccver ($gccnum)" |
651 | 651 | ||
652 | if test "$gccnum" -ge "400"; then | ||
653 | # gcc 4.0 is just *so* much pickier on arguments that differ in signedness | ||
654 | # so we ignore that warnings for now | ||
655 | # -Wno-pointer-sign | ||
656 | GCCOPTS="$GCCOPTS -Wno-pointer-sign" | ||
657 | fi | ||
658 | |||
652 | fi | 659 | fi |
653 | 660 | ||
654 | if test "X$ccache" = "Xyes"; then | 661 | if test "X$ccache" = "Xyes"; then |