[MLton-commit] r7240

[Matthew Fluet]

Fix Makefile for Poly/ML build.
----------------------------------------------------------------------

U   mlton/trunk/Makefile

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

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2009-10-08 18:35:45 UTC (rev 7239)
+++ mlton/trunk/Makefile	2009-10-09 14:30:20 UTC (rev 7240)
@@ -176,7 +176,7 @@
 polyml-mlton:
 	$(MAKE) dirs runtime
 	$(MAKE) -C "$(COMP)" polyml-mlton
-	$(CP) "$(COMP)/polyml-mlton$(EXE)" "$(LIB)/"
+	$(CP) "$(COMP)/mlton-polyml$(EXE)" "$(LIB)/"
 	$(MAKE) script basis-no-check mlbpathmap targetmap constants libraries-no-check
 	@echo 'Build of MLton succeeded.'