Update the in-tree GMP; fixes trac #832

[ghc-hetmet.git] / boot

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