diff options
| author | Teddy <[email protected]> | 2013-08-15 09:34:35 +0800 |
|---|---|---|
| committer | Teddy <[email protected]> | 2013-08-15 09:34:35 +0800 |
| commit | 06d014cb0e95f92945ea01610fd1c52a1b087502 (patch) | |
| tree | b5f76ea8309ff847a8245cc2eb31083f1b8e0c56 /Makefile | |
| parent | 3c6e957edadd896e15c32c5f7765913c8ad4d63c (diff) | |
fixed prog reload bug in tail-rec
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ CXX = g++ -DGMP_SUPPORT BUILD_DIR = build -all: release +all: debug debug: CXX += -DGC_INFO -g -pg gc_debug: CXX += -DGC_INFO -DGC_DEBUG -g -pg release: CXX += -O2 |