Add a push-all script

[ghc-hetmet.git] / boot

diff --git a/boot b/boot
index 600469d..262ae52 100644 (file)
--- a/boot
+++ b/boot
@@ -12,6 +12,7 @@ do
     fi
 done
 
+chmod +x push-all
 chmod +x rts/gmp/configure
 
 echo "Booting ."