From 01e0a06065111ed96fd5d936fe746d773232d822 Mon Sep 17 00:00:00 2001 From: vijay_ganesh Date: Fri, 2 Oct 2009 15:21:03 +0000 Subject: [PATCH] added logs git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@270 e59a4935-1847-0410-ae03-e826735625c1 --- scripts/Makefile.common | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/Makefile.common b/scripts/Makefile.common index 95f34a5..ffd597a 100644 --- a/scripts/Makefile.common +++ b/scripts/Makefile.common @@ -46,7 +46,7 @@ endif #CXXFLAGS = $(CFLAGS) -Wall -Wextra -DEXT_HASH_MAP -Wno-deprecated CXXFLAGS = $(CFLAGS) -Wextra -DEXT_HASH_MAP -Wno-deprecated -#CXXFLAGS = $(CFLAGS) -Wall -DTR1_UNORDERED_MAP +#CXXFLAGS = $(CFLAGS) -Wall -DTR1_UNORDERED_MAP -Wno-deprecated #CXXFLAGS = $(CFLAGS) -Wall #LDFLAGS= -lstdc++ #LDFLAGS= -lstdc++ -pg -- 2.47.3