X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;fp=configure.ac;h=67a37f9fabd8747f341d6af26657ab9741d5bf5d;hb=37c70ba00b7e3331c1072ad7a84dd279bfaf0494;hp=109330f10f2025d367dfea48610c421e0cac80aa;hpb=ad12fe8de0fefac092b30bd0853df5a247898d44;p=pspp

diff --git a/configure.ac b/configure.ac
index 109330f10f..67a37f9fab 100644
--- a/configure.ac
+++ b/configure.ac
@@ -59,7 +59,6 @@ PSPP_ENABLE_OPTION([-Wstrict-prototypes])
 PSPP_ENABLE_OPTION([-Wpointer-arith])
 PSPP_ENABLE_OPTION([-Wno-sign-compare])
 PSPP_ENABLE_OPTION([-Wmissing-prototypes])
-PSPP_ENABLE_OPTION([-Wc11-c2x-compat])
 
 AM_CONDITIONAL(cc_is_gcc, test x"$GCC" = x"yes" )
 AM_CONDITIONAL(host_is_w32, [case $host_os in mingw*) true;; *) false;; esac] )