diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | boot | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -88,7 +88,7 @@ endif # Sanity check that all the boot libraries are in the tree, to catch # failure to run darcs-all. check-packages : - @ds=`grep "^[^# ][^ ]* *[^ ][^ ]*$$" packages | sed "s/ .*//"`;\ + @ds=`grep "^[^# ][^ ]* *[^ ][^ ]* *[^ ][^ ]*$$" packages | sed "s/ .*//"`;\ for d in $$ds; do \ if test ! -d $$d; then \ echo "Looks like you're missing $$d,"; \ @@ -2,7 +2,7 @@ set -e # Check that we have all boot packages. -for dir in `grep "^[^# ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//"` +for dir in `grep "^[^# ][^ ]* *[^ ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//"` do if test ! -d $dir then |