[MLton-commit] r6798

[Wesley Terpstra]

Fix for building in a directory with spaces in the name.
----------------------------------------------------------------------

U   mlton/trunk/Makefile

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

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2008-08-24 16:24:58 UTC (rev 6797)
+++ mlton/trunk/Makefile	2008-08-24 16:31:09 UTC (rev 6798)
@@ -82,7 +82,7 @@
 basis:
 	$(MAKE) basis-no-check
 	@echo 'Type checking basis.'
-	$(MLTON) -disable-ann deadCode \
+	"$(MLTON)" -disable-ann deadCode \
 		-stop tc \
 		'$$(SML_LIB)/basis/libs/all.mlb' \
 		>/dev/null
@@ -197,7 +197,7 @@
 	$(MAKE) libraries-no-check
 	for f in $(LIBRARIES); do				\
 		echo "Type checking $$f library.";		\
-		$(MLTON) -disable-ann deadCode 			\
+		"$(MLTON)" -disable-ann deadCode 			\
 			-stop tc 				\
 			'$$(SML_LIB)/'"$$f/$$f.mlb" 		\
 			>/dev/null;				\