[Xen-changelog] [xen-unstable] [TOOLS] Check for python-devel.

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

# HG changeset patch
# User kfraser@xxxxxxxxxxxxxxxxxxxxx
# Node ID cc180acf4693a1e0a7da8ca57f3bf078d83b9bff
# Parent  fe5ed694b0c27374dcb35fc440b0833c2a81dc98
[TOOLS] Check for python-devel.

Thanks to Ewan Mellor, Anthony Liguori, and Daniel P. Berrange for
pointing out problems with and solutions for the problems with the
first version.

Signed-off-by: Jan Beulich <jbeulich@xxxxxxxxxx>
---
 tools/check/check_python_devel |   16 ++++++++++++++++
 1 files changed, 16 insertions(+)

diff -r fe5ed694b0c2 -r cc180acf4693 tools/check/check_python_devel
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/tools/check/check_python_devel    Wed Nov 22 10:30:05 2006 +0000
@@ -0,0 +1,16 @@
+#!/bin/bash
+# CHECK-BUILD
+
+function error {
+    echo
+    echo "  *** Check for python development environment FAILED"
+    exit 1
+}
+
+python -c '
+import os.path, sys
+for p in sys.path:
+       if os.path.exists(p + "/config/Makefile"):
+               sys.exit(0)
+sys.exit(1)
+' || error

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog