Menu
▾
▴
[MLton-commit] r7539
|
From: Matthew F. <fl...@ml...> - 2011-06-10 12:45:58
|
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 $@ |
