1 files changed, 2 insertions, 1 deletions
diff --git a/buildtools/configure.pl b/buildtools/configure.pl
index b8ed6140..4035568b 100755
--- a/buildtools/configure.pl
+++ b/buildtools/configure.pl
@@ -1302,7 +1302,8 @@ sub gnuCflags($) {
     return("CFLAGS = " . gnuOptimizeOpt($gccCommandName) . " -ffast-math " .
            " -pedantic -fno-common " . 
            "-Wall -Wno-uninitialized -Wmissing-declarations -Wimplicit " .
-           "-Wwrite-strings -Wmissing-prototypes -Wundef\n");
+           "-Wwrite-strings -Wmissing-prototypes -Wundef " .
+           "-Wno-unknown-pragmas\n");
 }