diff options
author | Teddy <[email protected]> | 2013-08-13 14:46:37 +0800 |
---|---|---|
committer | Teddy <[email protected]> | 2013-08-13 14:46:37 +0800 |
commit | 2c48014df55c0e7b7b12ebff9bef8fe567a6d4d2 (patch) | |
tree | b2bcd9cd8f8b5f433e6320895fac01dc431abbb3 /Makefile | |
parent | bac19b8e0e820ef748439891f6bbd46aabb4fcf7 (diff) |
gc optimization: pending listgc
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 -O2 -DGMP_SUPPORT -Wall + g++ $< -c -O2 -DGMP_SUPPORT -Wall clean: rm -f *.o |