X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot;h=11e1785adc0fc58d6166e690d917039f937039d1;hb=8181524071b7df3d4982349a43840456ef0747b4;hp=d983d2f560146634fe10a2ca8f5967959c198762;hpb=9a7ac3c44ff2f03a2395f246a3ebaf975426f0ff;p=ghc-hetmet.git

diff --git a/boot b/boot
index d983d2f..11e1785 100644
--- a/boot
+++ b/boot
@@ -7,11 +7,13 @@ do
     if test ! -d libraries/$d
     then
         echo "Looks like you're missing libraries/$d,"
-        echo "maybe you haven't done 'sh darcs-all get'?"
+        echo "maybe you haven't done './darcs-all get'?"
         exit 1
     fi
 done
 
+chmod +x rts/gmp/configure
+
 autoreconf
 
 for lib in libraries/*; do