[MLton-commit] r7122

[Matthew Fluet]

Exit with failure if SML/NJ CM encounters error.
----------------------------------------------------------------------

U   mlton/trunk/mlton/Makefile

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

Modified: mlton/trunk/mlton/Makefile
===================================================================
--- mlton/trunk/mlton/Makefile	2009-06-11 03:23:22 UTC (rev 7121)
+++ mlton/trunk/mlton/Makefile	2009-06-11 03:23:24 UTC (rev 7122)
@@ -138,7 +138,9 @@
 		echo 'in';							\
 		echo 'val _ = loop $(SMLNJ_CM_SERVERS_NUM);';			\
 		echo 'end;';							\
-		echo 'CM.make "mlton-smlnj.cm";';				\
+		echo 'if (CM.make "mlton-smlnj.cm") handle _ => false';		\
+		echo '   then ()';						\
+		echo '   else OS.Process.exit OS.Process.failure;'; 		\
 		echo 'SMLofNJ.exportFn("$(LIB)/mlton-smlnj",Main.main);'	\
 	) | "$(SMLNJ)"