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

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