1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 3788496161..ef17e6880f 100644
--- a/Makefile
+++ b/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!