[MLton-commit] r7394

[Matthew Fluet]

Filter out files originating from basis.mlb.
----------------------------------------------------------------------

U   mlton/trunk/mlton/Makefile

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

Modified: mlton/trunk/mlton/Makefile
===================================================================
--- mlton/trunk/mlton/Makefile	2010-01-18 18:44:06 UTC (rev 7393)
+++ mlton/trunk/mlton/Makefile	2010-01-19 14:01:14 UTC (rev 7394)
@@ -1,4 +1,5 @@
-## Copyright (C) 1999-2009 Henry Cejtin, Matthew Fluet, Suresh
+## Copyright (C) 2010 Matthew Fluet.
+ # Copyright (C) 1999-2009 Henry Cejtin, Matthew Fluet, Suresh
  #    Jagannathan, and Stephen Weeks.
  # Copyright (C) 1997-2000 NEC Research Institute.
  #
@@ -99,7 +100,7 @@
 		mlton -stop f mlton.mlb |					\
 			grep -v 'mlb$$' |					\
 			grep -v 'sml/basis' | 					\
-			grep -v 'mlton-stubs' |					\
+			grep -v 'targets' | 					\
 			grep -v 'mlyacc';					\
 	) > mlton-stubs.mlb