diff options
author | Mort Yao | 2022-11-03 00:42:01 +0100 |
---|---|---|
committer | Mort Yao | 2022-11-03 00:42:01 +0100 |
commit | 60102d1b081ec47a6b42c63d740b733adda15e12 (patch) | |
tree | 4cc1916417c521238978b7f337fe3adda61d3681 /Makefiledefault | |
parent | 0564f998a3a3c8ca443844bfd604e1ff89cadfab (diff) | |
download | aur-60102d1b081ec47a6b42c63d740b733adda15e12.tar.gz |
mlkit 4.7.2-1
Diffstat (limited to 'Makefiledefault')
-rw-r--r-- | Makefiledefault | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Makefiledefault b/Makefiledefault deleted file mode 100644 index 9d7925152194..000000000000 --- a/Makefiledefault +++ /dev/null @@ -1,6 +0,0 @@ -ifeq ($(MLCOMP)x,x) -MLCOMP=mlton @MLton ram-slop 0.7 -- -disable-pass deepFlatten -disable-pass refFlatten -#mlton @MLton ram-slop 0.7 gc-summary -- -disable-pass deepFlatten -verbose 3 -endif - -export MLCOMP |