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 "Looks like you're missing $dir." >&2
echo "Maybe you haven't done './darcs-all get'?" >&2
exit 1
fi