aboutsummaryrefslogtreecommitdiffstats
path: root/tools/check/check_x11_devel
diff options
context:
space:
mode:
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>2006-11-13 14:01:17 +0000
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>2006-11-13 14:01:17 +0000
commit68a3e1e87325c0efa66eac351a2b5bda772bd015 (patch)
tree5fe5693400510e89aaf4ab412e41482d8302eab8 /tools/check/check_x11_devel
parent5d85a6d13c910055462b72896c5e82297f1074d7 (diff)
downloadxen-68a3e1e87325c0efa66eac351a2b5bda772bd015.tar.gz
xen-68a3e1e87325c0efa66eac351a2b5bda772bd015.tar.bz2
xen-68a3e1e87325c0efa66eac351a2b5bda772bd015.zip
[TOOLS] Add more checks for devel packages.
On different systems I ran into different build failures that can be made more understandable by adding appropriate -devel package installation checks. Signed-off-by: Jan Beulich <jbeulich@novell.com>
Diffstat (limited to 'tools/check/check_x11_devel')
-rwxr-xr-xtools/check/check_x11_devel11
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/check/check_x11_devel b/tools/check/check_x11_devel
new file mode 100755
index 0000000000..7154331000
--- /dev/null
+++ b/tools/check/check_x11_devel
@@ -0,0 +1,11 @@
+#!/bin/bash
+# CHECK-BUILD
+
+function error {
+ echo
+ echo " *** Check for x11 headers FAILED"
+ exit 1
+}
+
+set -e
+[ -e /usr/include/X11/keysymdef.h ] || error