From 347b28f69dad16e4bbda20f894b367b6575f47a9 Mon Sep 17 00:00:00 2001
From: Denys Duchier <denys.duchier@univ-orleans.fr>
Date: Mon, 16 Apr 2012 21:59:11 +0200
Subject: [PATCH] removed -q option because of new g++

---
 library/gecode/dev/extractor/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/gecode/dev/extractor/Makefile b/library/gecode/dev/extractor/Makefile
index dc5e93bbd..9db4243d4 100644
--- a/library/gecode/dev/extractor/Makefile
+++ b/library/gecode/dev/extractor/Makefile
@@ -1,4 +1,4 @@
-GECODEDIR := $(shell g++ -q $(CPPFLAGS) $(CXXFLAGS) -H -E gecodedir.hh 2>&1 >/dev/null | grep gecode/kernel.hh | awk '{print $$2}' | sed 's|/kernel.hh||')
+GECODEDIR := $(shell g++ $(CPPFLAGS) $(CXXFLAGS) -H -E gecodedir.hh 2>&1 >/dev/null | grep gecode/kernel.hh | awk '{print $$2}' | sed 's|/kernel.hh||')
 GECODECONFIG := $(GECODEDIR)/support/config.hpp
 GECODEVERSION := $(shell cat $(GECODECONFIG) | egrep '\<GECODE_VERSION\>' | awk '{print $$3}' | sed 's/"//g')
 PROTOTYPES = ../gecode-prototypes-$(GECODEVERSION).hh