Update boot's test that we have all of the bootlibs

1 files changed, 2 insertions, 2 deletions

diff --git a/boot b/boot
index d554b037bd..9c1fad7297 100644
--- a/boot
+++ b/boot
@@ -2,9 +2,9 @@
 set -e
 
 # Check that we have all boot packages.
-for dir in `cat libraries/boot-packages`
+for dir in `grep "^[^# ][^ ]*  *[^ ][^ ]*$" packages | sed "s/ .*//"`
 do
-    if test ! -d libraries/$dir
+    if test ! -d $dir
     then
         echo "Looks like you're missing libraries/$dir." >&2
         echo "Maybe you haven't done './darcs-all get'?" >&2