From 334e082ac8b94353328ee45da8bcf5fad85a29eb Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Tue, 29 Jul 2008 20:10:32 +0000 Subject: [PATCH] Update boot's test that we have all of the bootlibs --- boot | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/boot b/boot index d554b03..9c1fad7 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 -- 1.7.10.4