diff -r 31adb5c972d0 Makefile
--- a/Makefile	Thu Jan 24 14:41:26 2008 +0000
+++ b/Makefile	Fri Jan 25 20:15:22 2008 +0100
@@ -42,7 +42,7 @@ dist: dist-xen dist-kernels dist-tools d
 	$(INSTALL_DATA) ./COPYING $(DISTDIR)
 	$(INSTALL_DATA) ./README $(DISTDIR)
 	$(INSTALL_PROG) ./install.sh $(DISTDIR)
-	$(INSTALL_PROG) tools/check/chk tools/check/check_* $(DISTDIR)/check
+	$(INSTALL_PROG) tools/check/chk tools/check/check_* tools/check/funcs.sh $(DISTDIR)/check
 dist-%: DESTDIR=$(DISTDIR)/install
 dist-%: install-%
 	@: # do nothing