From e828a57eba62ff2469c894d3e50ecc58f36d810b Mon Sep 17 00:00:00 2001 From: Teddy Date: Tue, 13 Aug 2013 16:59:48 +0800 Subject: vector gc --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 4e173d8..48e2d8e 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ sonsi: main.o parser.o builtin.o model.o eval.o exc.o consts.o types.o gc.o g++ -o sonsi $^ -pg -lgmp .cpp.o: - g++ $< -c -g -DGMP_SUPPORT -Wall -O2 + g++ $< -c -g -DGMP_SUPPORT -Wall -DGC_INFO clean: rm -f *.o -- cgit v1.2.3