Add a push-all script

[ghc-hetmet.git] / boot

diff --git a/boot b/boot
index d983d2f..262ae52 100644 (file)
--- a/boot
+++ b/boot
@@ -7,16 +7,21 @@ 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 push-all
+chmod +x rts/gmp/configure
+
+echo "Booting ."
 autoreconf
 
 for lib in libraries/*; do
     if test -e $lib/configure.ac
     then
+        echo "Booting $lib"
         cd $lib
         autoreconf
         cd ../..