[MLton-commit] r7233

[Matthew Fluet]

Filter out control/version.sml to prevent extraneous rebuilds.
----------------------------------------------------------------------

U   mlton/trunk/mlton/Makefile

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

Modified: mlton/trunk/mlton/Makefile
===================================================================
--- mlton/trunk/mlton/Makefile	2009-10-02 19:00:37 UTC (rev 7232)
+++ mlton/trunk/mlton/Makefile	2009-10-04 14:23:49 UTC (rev 7233)
@@ -53,7 +53,7 @@
 	$(FILE)			\
 	upgrade-basis.sml	\
 	$(FRONT_END_SOURCES)	\
-	$(shell if [ -r $(FILE) ]; then mlton -stop f $(FILE); fi)
+	$(filter-out control/version.sml,$(shell if [ -r $(FILE) ]; then mlton -stop f $(FILE); fi))
 
 .PHONY: all
 all: $(AOUT)
@@ -158,7 +158,7 @@
 	$(CC) -o mlton-polyml mlton-polyml.o -lpolymain -lpolyml
 	rm -f mlton-polyml.o
 
-mlton-polyml.use: ../lib/stubs/basis-stubs-for-polyml/sources.use ../lib/stubs/mlton-stubs-for-polyml/sources.use $(shell mlton -stop f ../lib/stubs/mlton-stubs/sources.mlb) $(shell mlton -stop f mlton.mlb)
+mlton-polyml.use: ../lib/stubs/basis-stubs-for-polyml/sources.use ../lib/stubs/mlton-stubs-for-polyml/sources.use $(shell mlton -stop f ../lib/stubs/mlton-stubs/sources.mlb) $(filter-out control/version.sml,$(shell mlton -stop f mlton.mlb))
 	(									\
 		cat ../lib/stubs/basis-stubs-for-polyml/sources.use |		\
 			sed 's|use "\(.*\)";|../lib/stubs/basis-stubs-for-polyml/\1|'; \