[MLton-commit] r6239

Vesa Karvonen vesak at mlton.org
Wed Dec 5 08:08:26 PST 2007


Don't increase inlining threshold by default.
----------------------------------------------------------------------

U   mltonlib/trunk/org/mlton/vesak/toys/common.mk

----------------------------------------------------------------------

Modified: mltonlib/trunk/org/mlton/vesak/toys/common.mk
===================================================================
--- mltonlib/trunk/org/mlton/vesak/toys/common.mk	2007-12-05 12:40:39 UTC (rev 6238)
+++ mltonlib/trunk/org/mlton/vesak/toys/common.mk	2007-12-05 16:08:26 UTC (rev 6239)
@@ -55,7 +55,6 @@
 	mlton -mlb-path-map $(mlb-path-map)                  \
 	      -prefer-abs-paths true                         \
 	      -show-def-use $@.du                            \
-	      -inline 10000                                  \
 	      -link-opt '$(link-opts)'                       \
 	      -output $@                                     \
 	      $(mlton-opts)                                  \




More information about the MLton-commit mailing list