Fix the "have we got all the bootlibs" check

The packages file has an extra component (for "darcs" or "git") so we need
to take that into account when grepping.

2 files changed, 2 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index d5b925d854..471ac1a8bf 100644
--- a/Makefile
+++ b/Makefile
@@ -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,"; \
diff --git a/boot b/boot
index 9c1fad7297..ba02e70f8f 100644
--- a/boot
+++ b/boot
@@ -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