From c717cdb19de5b5791d8819fcffb9ea5b9345e171 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 15 Jun 2010 21:46:56 +0000
Subject: remove warnings about unknown #pragma GCC diagnostic on older
 compilers

---
 src/parser/cvc/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parser/cvc')

diff --git a/src/parser/cvc/Makefile.am b/src/parser/cvc/Makefile.am
index 288b79b15..c08c6d694 100644
--- a/src/parser/cvc/Makefile.am
+++ b/src/parser/cvc/Makefile.am
@@ -1,7 +1,7 @@
 AM_CPPFLAGS = \
 	-D__BUILDING_CVC4PARSERLIB \
 	-I@srcdir@/../../include -I@srcdir@/../.. $(ANTLR_INCLUDES)
-AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable
+AM_CXXFLAGS = -Wall -wunknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -Wno-unused-function -Wno-unused-variable
 
 # Compile generated C files using C++ compiler
 CC=$(CXX)
-- 
cgit v1.2.3