[MLton-commit] r6456

[spoons at mlton.org]

Use the parallel depth-first scheduling policy as the default.

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

U   mlton/branches/shared-heap-multicore/Makefile

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

Modified: mlton/branches/shared-heap-multicore/Makefile
===================================================================
--- mlton/branches/shared-heap-multicore/Makefile	2008-03-03 15:42:41 UTC (rev 6455)
+++ mlton/branches/shared-heap-multicore/Makefile	2008-03-03 15:44:42 UTC (rev 6456)
@@ -229,7 +229,7 @@
 	touch "$(MLBPATHMAP)"
 	( echo 'MLTON_ROOT $$(LIB_MLTON_DIR)/sml';	\
 	  echo 'SML_LIB $$(LIB_MLTON_DIR)/sml';  	\
-	  echo 'WORK_QUEUE simpleworkqueue'; ) 		\
+	  echo 'WORK_QUEUE pdfworkqueue'; ) 		\
 		>>"$(MLBPATHMAP).tmp"
 	mv "$(MLBPATHMAP).tmp" "$(MLBPATHMAP)"