Commit 334e082a authored by Ian Lynagh's avatar Ian Lynagh

Update boot's test that we have all of the bootlibs

parent 0d2fd55f
...@@ -2,9 +2,9 @@ ...@@ -2,9 +2,9 @@
set -e set -e
# Check that we have all boot packages. # Check that we have all boot packages.
for dir in `cat libraries/boot-packages` for dir in `grep "^[^# ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//"`
do do
if test ! -d libraries/$dir if test ! -d $dir
then then
echo "Looks like you're missing libraries/$dir." >&2 echo "Looks like you're missing libraries/$dir." >&2
echo "Maybe you haven't done './darcs-all get'?" >&2 echo "Maybe you haven't done './darcs-all get'?" >&2
......
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