fix message for missing packages
authorRoss Paterson <ross@soi.city.ac.uk>
Thu, 4 Sep 2008 16:48:16 +0000 (16:48 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Thu, 4 Sep 2008 16:48:16 +0000 (16:48 +0000)
An incorrect libraries/ prefix was being added.

boot

diff --git a/boot b/boot
index ba02e70..38d2cb5 100644 (file)
--- 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