[MLton-commit] r4254

[Stephen Weeks]

The recent upgrade of ckit.tgz and smlnj-lib.tgz had different file
permissions than the previous versions, and particular was missing
read permission for group and other.  So, I added a chmod to the
Makefile to fix this.

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

U   mlton/trunk/lib/ckit-lib/Makefile
U   mlton/trunk/lib/smlnj-lib/Makefile

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

Modified: mlton/trunk/lib/ckit-lib/Makefile
===================================================================
--- mlton/trunk/lib/ckit-lib/Makefile	2005-11-24 15:45:21 UTC (rev 4253)
+++ mlton/trunk/lib/ckit-lib/Makefile	2005-11-26 02:26:05 UTC (rev 4254)
@@ -10,6 +10,7 @@
 
 ckit/README.mlton: ckit.tgz ckit.patch
 	gzip -dc ckit.tgz | tar xf -
+	chmod -R a+r ckit
 	patch -p0 < ckit.patch
 
 .PHONY: clean

Modified: mlton/trunk/lib/smlnj-lib/Makefile
===================================================================
--- mlton/trunk/lib/smlnj-lib/Makefile	2005-11-24 15:45:21 UTC (rev 4253)
+++ mlton/trunk/lib/smlnj-lib/Makefile	2005-11-26 02:26:05 UTC (rev 4254)
@@ -10,6 +10,7 @@
 
 smlnj-lib/README.mlton: smlnj-lib.tgz smlnj-lib.patch
 	gzip -dc smlnj-lib.tgz | tar xf -
+	chmod -R a+r smlnj-lib
 	patch -p0 < smlnj-lib.patch
 	mv smlnj-lib/LICENSE ../../doc/license/SMLNJ-LIB-LICENSE