aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorCamil Staps2021-01-04 20:27:45 +0100
committerCamil Staps2021-01-04 20:27:45 +0100
commit88de5784428bec9a4b32bdf447c160da29b3745e (patch)
tree4b5a52c8fe2560e98aca0d74ec8dcd5cb09b2b70 /Makefile
parentFix error reporting for illegal command line arguments (diff)
Make up to date
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 1 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index c9d5edb..806520f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,9 +1,7 @@
BIN:=silc
CLM:=clm
CLMFLAGS:=-nt -nr\
- -l -no-pie\
- -I $$CLEAN_HOME/lib/Generics\
- -I $$CLEAN_HOME/lib/Platform\
+ -IL Platform\
-I ABCMachine
.PHONY: all clean