As before, the file added to tools/check/ must be given exec permission.
Signed-off-by: Jan Beulich <jbeulich@xxxxxxxxxx>
Index: 2006年12月11日/tools/Makefile
===================================================================
--- 2006年12月11日.orig/tools/Makefile 2006年12月04日 08:49:57.000000000 +0100
+++ 2006年12月11日/tools/Makefile 2006年12月14日 14:25:02.000000000 +0100
@@ -36,7 +36,7 @@ all: check
$(MAKE) ioemu
.PHONY: install
-install: check
+install: check_install
@set -e; for subdir in $(SUBDIRS-y); do \
$(MAKE) -C $$subdir $@; \
done
@@ -58,6 +58,10 @@ distclean: clean
check:
$(MAKE) -C check
+.PHONY: check_install
+check_install: check
+ $(MAKE) -C check install
+
.PHONY: check_clean
check_clean:
$(MAKE) -C check clean
Index: 2006年12月11日/tools/check/check_python_xml
===================================================================
--- /dev/null 1970年01月01日 00:00:00.000000000 +0000
+++ 2006年12月11日/tools/check/check_python_xml 2006年12月14日 14:05:30.000000000
+0100
@@ -0,0 +1,16 @@
+#!/bin/bash
+# CHECK-INSTALL
+
+function error {
+ echo
+ echo " *** Check for python-xml package FAILED"
+ exit 1
+}
+
+python -c '
+import os.path, sys
+for p in sys.path:
+ if os.path.exists(p + "/xml/dom/minidom.py"):
+ sys.exit(0)
+sys.exit(1)
+' || error
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel