aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorCamil Staps2017-11-22 09:58:14 +0100
committerCamil Staps2017-11-22 09:58:14 +0100
commit7644d57ce32264f35175518ed848b39cb0a62f0d (patch)
tree139162303642e3fedb7e434bddece9ae834808be /Makefile
parentAdd parser (diff)
Test setup
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8b2f87f..1516dac 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
BIN:=pf
CLM:=clm
-CLMFLAGS:=-b -IL Platform -IL Generics
+CLMFLAGS:=-nr -IL Platform -IL Generics
.PHONY: all clean