Commit c72054f1 authored by Ross Paterson's avatar Ross Paterson

fix message for missing packages

An incorrect libraries/ prefix was being added.
parent 8b7a0a10
...@@ -6,7 +6,7 @@ for dir in `grep "^[^# ][^ ]* *[^ ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//" ...@@ -6,7 +6,7 @@ for dir in `grep "^[^# ][^ ]* *[^ ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//"
do do
if test ! -d $dir if test ! -d $dir
then 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 echo "Maybe you haven't done './darcs-all get'?" >&2
exit 1 exit 1
fi fi
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment