Say where we're booting to aid debugging

diff --git a/boot b/boot
index 11e1785..600469d 100644 (file)
--- a/boot
+++ b/boot
@@ -14,11 +14,13 @@ done
 
 chmod +x rts/gmp/configure
 
 
 chmod +x rts/gmp/configure
 

+echo "Booting ."

 autoreconf
 
 for lib in libraries/*; do
     if test -e $lib/configure.ac
     then
 autoreconf
 
 for lib in libraries/*; do
     if test -e $lib/configure.ac
     then

+        echo "Booting $lib"

         cd $lib
         autoreconf
         cd ../..
         cd $lib
         autoreconf
         cd ../..