diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-06-29 13:00:59 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-06-29 13:00:59 +1000 |
| commit | 9e0d0b59f44d781d2cbbff4f83d2ab71b7dc0121 (patch) | |
| tree | 3b147e06c3fab46d4086f7ab979b7528edbaa332 /impl/Makefile | |
| parent | fcc4343ddc74fe70aa9e2b2eb3d18e25cdf7b270 (diff) | |
Speed up IdSet a bit. I think.
Diffstat (limited to 'impl/Makefile')
| -rw-r--r-- | impl/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/impl/Makefile b/impl/Makefile index 5dad366..a6d5999 100644 --- a/impl/Makefile +++ b/impl/Makefile @@ -1,7 +1,7 @@ CC=gcc CPP=g++ BUILD=build/ -FLAGS=-Wall -Werror -g -lantlr3c +FLAGS=-Wall -Werror -g -lantlr3c -pg all: main |