From: Ian Lynagh <igloo@earth.li>
Date: Mon, 30 Apr 2007 10:25:53 +0000 (+0000)
Subject: Set rts/gmp/configure executable when booting
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=13949af533615dac3f27982a0321c82945260dcd

Set rts/gmp/configure executable when booting
---

diff --git a/boot b/boot
index dc7c9c0..11e1785 100644
--- a/boot
+++ b/boot
@@ -12,6 +12,8 @@ do
     fi
 done
 
+chmod +x rts/gmp/configure
+
 autoreconf
 
 for lib in libraries/*; do