diff options
Diffstat (limited to 'extension/configure')
-rwxr-xr-x | extension/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extension/configure b/extension/configure index 1b7b33d6..7f660287 100755 --- a/extension/configure +++ b/extension/configure @@ -14034,7 +14034,7 @@ pkgextensiondir='${libdir}/gawk' if test "$GCC" = yes then - CFLAGS="$CFLAGS -Wall -Wextra" + CFLAGS="$CFLAGS -Wall" # Don't add -Wextra, hurts older gcc fi { $as_echo "$as_me:${as_lineno-$LINENO}: checking for special development options" >&5 |