diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/configure | 2 |
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 | |||
| 2835 | GCCOPTS="$GCCOPTS -Wno-pointer-sign" | 2835 | GCCOPTS="$GCCOPTS -Wno-pointer-sign" |
| 2836 | fi | 2836 | fi |
| 2837 | 2837 | ||
| 2838 | if test "$gccnum" -ge "401"; then | 2838 | if test "$gccnum" -ge "400"; then |
| 2839 | # this is a lame hack to avoid "warning: dereferencing type-punned pointer | 2839 | # this is a lame hack to avoid "warning: dereferencing type-punned pointer |
| 2840 | # will break strict-aliasing rules" | 2840 | # will break strict-aliasing rules" |
| 2841 | 2841 | ||