X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=Makefile.in;h=5016b065b85d9c36dccff605b4d8e8519a745610;hp=7a23832b124b8b09a99d43e10398bf764a303cc3;hb=49e464524ba5e6f73041160eec93c8ba5fe5ea18;hpb=1d54a5412ef39590022e6dd4448881f267e96d0b

diff --git a/Makefile.in b/Makefile.in
index 7a23832b..5016b065 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -21,7 +21,7 @@ GIT_VERSION := $(shell ./GIT-VERSION-GEN git-version.h)
 
 DEBUG_CPPFLAGS += -g -Wunused -Wundef -W
 DEBUG_CPPFLAGS += -Wredundant-decls
-DEBUG_CPPFLAGS += -Wall -Wno-sign-compare
+DEBUG_CPPFLAGS += -Wall -Wno-sign-compare -Wno-unknown-pragmas
 DEBUG_CPPFLAGS += -Wformat-security
 DEBUG_CPPFLAGS += -Wmissing-format-attribute
 # produces false positives