X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot;h=014efff4dbf30f1655bc234f09b85e45e6d8e9ff;hb=a12d2d74ef1d05b6815906ea5d29b79249191383;hp=dc7c9c062371641f788628102112d3a495b2d123;hpb=610379bc0660cc9df6bb8cfaa98e566157236026;p=ghc-hetmet.git

diff --git a/boot b/boot
index dc7c9c0..014efff 100644
--- a/boot
+++ b/boot
@@ -2,15 +2,10 @@
 
 set -e
 
-for d in `cat libraries/core-packages`
-do
-    if test ! -d libraries/$d
-    then
-        echo "Looks like you're missing libraries/$d,"
-        echo "maybe you haven't done './darcs-all get'?"
-        exit 1
-    fi
-done
+chmod +x rts/gmp/configure
+chmod +x darcs-all
+
+./darcs-all ${1+"$@"} get
 
 autoreconf