diff options
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 6fc6f3b..ca0b37d 100644 --- a/impl/Makefile +++ b/impl/Makefile @@ -2,7 +2,7 @@ CC=gcc  CPP=g++  BUILD=build  PARSER=parser -FLAGS=-Wall -Werror -Wextra -pedantic -lantlr3c -fno-exceptions +FLAGS=-Wall -Werror -Wextra -pedantic -lantlr3c -fno-exceptions -lrt  NORMAL_FLAGS=$(FLAGS) -g -pg  OPTIMISED_FLAGS=$(FLAGS) -O3 | 
