X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=boot;h=14d886a347229da6dbeda75d026eb0c9d35e7097;hb=8100c58a929d993d2dd7022412ed6113cf97fba7;hp=262ae52d6d94aa79c9c84186153629706bbec1ad;hpb=8434073f08470b4447436e865e25f5fe31852c23;p=ghc-hetmet.git

diff --git a/boot b/boot
index 262ae52..14d886a 100644
--- a/boot
+++ b/boot
@@ -13,7 +13,6 @@ do
 done
 
 chmod +x push-all
-chmod +x rts/gmp/configure
 
 echo "Booting ."
 autoreconf