summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-04-04 18:24:46 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-04-04 18:24:46 +0200
commit7b29b31648fd737e7bbc007f480b799add91bc6b (patch)
treee724c15c959d98ece73c186b82a61100f4e8d06a /Makefile
parentd7d4830443f1e385af862462f976553c8a9033e1 (diff)
Beginning of the preprocessor
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index e18503d..92e0285 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
history := -const "Exn.keepHistory true"
def:
- mlton $(history) cpp.mlb
+ mlton $(history) ccross.mlb