diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-23 16:51:05 +0100 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-03-23 16:51:05 +0100 |
| commit | 912d3013062b5e81e781037ef94e9549f5bb19be (patch) | |
| tree | 2b26e2d66a59196320f09d6c3c9d4dc29402a543 /Makefile | |
| parent | 806082ec8249bb73c1d69a43bd8aea2bc9ef0364 (diff) | |
Proper error messages
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ def: - mlton cpp.mlb + mlton -const "Exn.keepHistory true" cpp.mlb |