From c72054f1ae4873dd548fff8bef2b535ab6400a2e Mon Sep 17 00:00:00 2001 From: Ross Paterson Date: Thu, 4 Sep 2008 16:48:16 +0000 Subject: [PATCH] fix message for missing packages An incorrect libraries/ prefix was being added. --- boot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/boot b/boot index ba02e70..38d2cb5 100644 --- a/boot +++ b/boot @@ -6,7 +6,7 @@ for dir in `grep "^[^# ][^ ]* *[^ ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//" do if test ! -d $dir then - echo "Looks like you're missing libraries/$dir." >&2 + echo "Looks like you're missing $dir." >&2 echo "Maybe you haven't done './darcs-all get'?" >&2 exit 1 fi -- 1.7.10.4