[MLton-commit] r4267

[Stephen Weeks]

Fixed bootstrapping problem.

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

U   mlton/trunk/Makefile

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

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2005-11-30 22:48:15 UTC (rev 4266)
+++ mlton/trunk/Makefile	2005-12-01 02:22:17 UTC (rev 4267)
@@ -45,7 +45,7 @@
 
 .PHONY: all-no-docs
 all-no-docs:
-	$(MAKE) dirs runtime compiler world-no-check libraries tools
+	$(MAKE) dirs runtime compiler world-no-check script mlbpathmap targetmap constants libraries tools
 # If we're compiling with another version of MLton, then we want to do
 # another round of compilation so that we get a MLton built without
 # stubs.  Remove $(AOUT) so that the $(MAKE) compiler below will
@@ -57,7 +57,7 @@
 	rm -f $(COMP)/$(AOUT)$(EXE)
 	$(MAKE) -C $(COMP)/front-end clean
 endif
-	$(MAKE) script mlbpathmap targetmap constants compiler world libraries tools
+	$(MAKE) compiler world
 	@echo 'Build of MLton succeeded.'
 
 .PHONY: basis-no-check