1 files changed, 3 insertions, 10 deletions
diff --git a/boot b/boot
index 11e1785adc..014efff4db 100644
--- a/boot
+++ b/boot
@@ -2,17 +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