diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2016-09-27 11:14:35 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-09-27 11:14:54 -0700 |
commit | 079e942a0edb6122c411f9dd5ed0e98cdd4fa420 (patch) | |
tree | 97c85e50e6dbb3d5f9a74d705b1c13e4561f37e4 /configure.ac | |
parent | db39f34e8509b314cf0f38dcb3107842d6c41156 (diff) | |
download | grep-079e942a0edb6122c411f9dd5ed0e98cdd4fa420.tar.gz |
build: port .git builds to newer GCC
* configure.ac (gl_gcc_warnings): Omit duplicate copy of 'main'.
Problem reported by Assaf Gordon in:
http://lists.gnu.org/archive/html/grep-devel/2016-09/msg00024.html
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/configure.ac b/configure.ac index 202e30b1..cbd1ff61 100644 --- a/configure.ac +++ b/configure.ac @@ -113,9 +113,7 @@ AC_ARG_ENABLE([gcc-warnings], if test "$GCC" = yes && test -d "$srcdir"/.git; then AC_COMPILE_IFELSE( [AC_LANG_PROGRAM([[ - #if 6 < __GNUC__ + (2 <= __GNUC_MINOR__) - int main (void) { return 0; } - #else + #if ! (6 < __GNUC__ + (2 <= __GNUC_MINOR__)) #error "This GCC is too old." #endif ]])], |