[MLton-commit] r7097

[Matthew Fluet]

Remove unused Makefile target.
----------------------------------------------------------------------

U   mlton/trunk/mlton/Makefile

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

Modified: mlton/trunk/mlton/Makefile
===================================================================
--- mlton/trunk/mlton/Makefile	2009-04-19 16:03:38 UTC (rev 7096)
+++ mlton/trunk/mlton/Makefile	2009-04-19 16:03:41 UTC (rev 7097)
@@ -97,9 +97,6 @@
 $(UP):
 	"$(SRC)/bin/upgrade-basis" '$(PATH)' "$(HOST_ARCH)" "$(HOST_OS)" >$(UP)
 
-mlton.sml: $(SOURCES)
-	rm -f mlton.sml && mlton -stop sml mlton.cm && chmod -w mlton.sml
-
 .PHONY: def-use
 def-use:
 	mlton $(FLAGS) -stop tc -prefer-abs-paths true -show-def-use mlton.def-use $(FILE)