[Xen-changelog] [xen-unstable] Add another package check (python-xml).

[Xen patchbot-unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User kfraser@xxxxxxxxxxxxxxxxxxxxx
# Node ID 70155087efe89a741ca9eb5e3d7ebadaafabd3dc
# Parent  7fdf6e0f12dbb80eac55532cc90be4246bb2c771
Add another package check (python-xml).
Signed-off-by: Jan Beulich <jbeulich@xxxxxxxxxx>
---
 tools/Makefile               |    6 +++++-
 tools/check/check_python_xml |   16 ++++++++++++++++
 2 files changed, 21 insertions(+), 1 deletion(-)

diff -r 7fdf6e0f12db -r 70155087efe8 tools/Makefile
--- a/tools/Makefile    Thu Dec 14 12:35:23 2006 +0000
+++ b/tools/Makefile    Thu Dec 14 14:13:18 2006 +0000
@@ -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 @@ check:
 check:
        $(MAKE) -C check
 
+.PHONY: check_install
+check_install: check
+       $(MAKE) -C check install
+
 .PHONY: check_clean
 check_clean:
        $(MAKE) -C check clean
diff -r 7fdf6e0f12db -r 70155087efe8 tools/check/check_python_xml
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/check/check_python_xml      Thu Dec 14 14:13:18 2006 +0000
@@ -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-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog