bitkeeper revision 1.1159.1.378 (418aa2bc6DI3-OOtFpoHiZyoyBtfCg)

Merge labyrinth.cl.cam.ac.uk:/auto/groups/xeno/BK/xeno.bk
into labyrinth.cl.cam.ac.uk:/auto/anfs/scratch/labyrinth/iap10/xeno-clone/xeno.bk

Makefile

@@ -27,6 +27,8 @@ dist:	xen tools kernels docs
 	install -m0644 ./COPYING $(DIST_DIR)
 	install -m0644 ./README $(DIST_DIR)
 	install -m0755 ./install.sh $(DIST_DIR)
+	mkdir -p $(DIST_DIR)/check
+	cp tools/check/chk /tools/check/check_* $(DIST_DIR)/check
 
 # install everything into the standard system directories
 # NB: install explicitly does not check that everything is up to date!

install.sh

@@ -26,4 +26,9 @@ echo "Installing Xen from '$src' to '$dst'..."
 cp -fdR $src/* $dst
 echo "All done."
 
+echo "Checking to see whether prerequisite tools are installed..."
+cd $src/../check
+./chk install
+echo "All done."
+
 exit 0

tools/check/chk

@@ -63,7 +63,7 @@ done
 echo >> ${info}
 
 if [ "$failed" == "1" ] ; then
-    echo "Checks failed. See ${info} for details."
+    echo "Checks failed. See `pwd`/${info} for details."
     echo "FAILED" >> ${info}
     exit 1
 else