[PATCH] yet another package check (take 2)

["Jan Beulich" <jbeulich@novell.com>]

As before, the file added to tools/check/ must be given exec permission.

Now using the approach suggested by Christoph Egger <Christoph.Egger@amd.com>.

Signed-off-by: Jan Beulich <jbeulich@novell.com>

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 17:04:04.000000000 +0100
@@ -0,0 +1,19 @@
+#!/bin/sh
+# CHECK-INSTALL
+
+RC=0
+
+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)
+' || RC=1
+
+if test ${RC} -ne 0; then
+	echo
+	echo " *** Check for python development environment FAILED"
+fi
+
+exit ${RC}