X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=boot;h=262ae52d6d94aa79c9c84186153629706bbec1ad;hp=600469d06dbc8c71c560337954de37d2a3e35900;hb=2eb04ca0f8d0ec72b417cddc60672c696b4a3daa;hpb=76e8250846766faddb262eb2b648c14a326e1777

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