diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-24 00:49:06 +0100 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-24 00:49:30 +0100 |
| commit | e40727b58e357f123256557af50666aa42c2caa4 (patch) | |
| tree | daf34c2dd0d5552d2ea74eb5b18307afbbac9ee5 /Makefile | |
| parent | c4b48d26658e3359217725e81e8afcda6a6a257e (diff) | |
Rest of symbols
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,2 +1,4 @@ +history := -const "Exn.keepHistory true" + def: - mlton -const "Exn.keepHistory true" cpp.mlb + mlton $(history) cpp.mlb |