[MLton-commit] r7466

[Matthew Fluet]

Filter out targets directory from mlton-polyml.use file.
----------------------------------------------------------------------

U   mlton/trunk/mlton/Makefile

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

Modified: mlton/trunk/mlton/Makefile
===================================================================
--- mlton/trunk/mlton/Makefile	2010-05-20 17:36:18 UTC (rev 7465)
+++ mlton/trunk/mlton/Makefile	2010-05-20 17:58:09 UTC (rev 7466)
@@ -175,6 +175,7 @@
 		mlton -stop f mlton.mlb |					\
 			grep -v 'mlb$$' |					\
 			grep -v 'sml/basis' | 					\
+			grep -v 'targets' | 					\
 			grep -v 'mlton-stubs' |					\
 			grep -v 'mlyacc' |					\
 			grep -v 'call-main.sml';				\