allow build settings to be overriden by adding mk/validate.mk

[ghc-hetmet.git] / boot

diff --git a/boot b/boot
index 11e1785..14d886a 100644 (file)
--- a/boot
+++ b/boot
@@ -12,13 +12,15 @@ do
     fi
 done
 
-chmod +x rts/gmp/configure
+chmod +x push-all
 
+echo "Booting ."
 autoreconf
 
 for lib in libraries/*; do
     if test -e $lib/configure.ac
     then
+        echo "Booting $lib"
         cd $lib
         autoreconf
         cd ../..