X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot;h=9c1fad7297ce683344c3dcfcb951df5c0b0c2752;hb=0f72a4c69215d1f81760aa0000ebbbfb2ac73303;hp=d554b037bd0714e3c4db702ca55c1b4dcaf65274;hpb=e05f9de137269701df667b69d741dfae616694f7;p=ghc-hetmet.git diff --git a/boot b/boot index d554b03..9c1fad7 100644 --- a/boot +++ b/boot @@ -2,9 +2,9 @@ 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 "Maybe you haven't done './darcs-all get'?" >&2