[MLton-commit] r7539

[Matthew Fluet]

Force gdtoa/README to be up-to-date.
----------------------------------------------------------------------

U   mlton/trunk/runtime/Makefile

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

Modified: mlton/trunk/runtime/Makefile
===================================================================
--- mlton/trunk/runtime/Makefile	2011-06-04 14:34:36 UTC (rev 7538)
+++ mlton/trunk/runtime/Makefile	2011-06-10 19:45:57 UTC (rev 7539)
@@ -270,6 +270,7 @@
 	patch -s -p0 <gdtoa-patch
 	patch -s -p0 <gdtoa-patch.internal
 	patch -s -p0 <gdtoa-patch.mlton
+	@touch $@
 
 $(GDTOACFILES): gdtoa/README
 	@touch $@