X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot;h=262ae52d6d94aa79c9c84186153629706bbec1ad;hb=481b014b46dd53ef5d1c5e679e1d9f08207af96e;hp=11e1785adc0fc58d6166e690d917039f937039d1;hpb=9bf5168492d49ea9b73e33f914422875cca74a92;p=ghc-hetmet.git

diff --git a/boot b/boot
index 11e1785..262ae52 100644
--- a/boot
+++ b/boot
@@ -12,13 +12,16 @@ do
     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 ../..