diff options
| author | Teddy <[email protected]> | 2013-08-08 22:36:49 +0800 |
|---|---|---|
| committer | Teddy <[email protected]> | 2013-08-08 22:36:49 +0800 |
| commit | 64967702d0f58b1f2f2082feccb39a95e2ac4cb2 (patch) | |
| tree | f620a40a8fb9b11098999cf796b2b69fd272300d /Makefile | |
| parent | 3753b3c4bed58949588a46d4c807a0c0045e8f22 (diff) | |
support for equal?
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ main: main.o parser.o builtin.o model.o eval.o exc.o consts.o g++ -o main $^ -pg -lgmp .cpp.o: - g++ $< -c -g -pg -DGMP_SUPPORT + g++ $< -c -O2 -g -pg -DGMP_SUPPORT clean: rm -f *.o |