diff options
author | Teddy <[email protected]> | 2013-08-13 16:59:48 +0800 |
---|---|---|
committer | Teddy <[email protected]> | 2013-08-13 16:59:48 +0800 |
commit | e828a57eba62ff2469c894d3e50ecc58f36d810b (patch) | |
tree | 94a03a8769b65336e4cfc38f8ce4fd70286b9563 /Makefile | |
parent | 98fdeb2d99b58d8df510f337f9dc1e21b549c639 (diff) |
vector gc
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |