[MLton-commit] r7335

[Wesley Terpstra]

Don't delete downloaded files


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

U   mlton/trunk/package/mingw/Makefile

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

Modified: mlton/trunk/package/mingw/Makefile
===================================================================
--- mlton/trunk/package/mingw/Makefile	2009-11-01 23:41:41 UTC (rev 7334)
+++ mlton/trunk/package/mingw/Makefile	2009-11-01 23:55:45 UTC (rev 7335)
@@ -44,6 +44,7 @@
 	cd staging; find * -type f | grep -v self > ../$@.tmp
 	mv $@.tmp $@
 
+.PRECIOUS:	dl/%.7z
 dl/%.7z:	dl/%.url
 	wget -c -O $@.tmp `cat $<`
 	mv $@.tmp $@