diff options
author | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-11-13 14:01:17 +0000 |
---|---|---|
committer | kfraser@localhost.localdomain <kfraser@localhost.localdomain> | 2006-11-13 14:01:17 +0000 |
commit | 68a3e1e87325c0efa66eac351a2b5bda772bd015 (patch) | |
tree | 5fe5693400510e89aaf4ab412e41482d8302eab8 /tools/check/check_x11_devel | |
parent | 5d85a6d13c910055462b72896c5e82297f1074d7 (diff) | |
download | xen-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-x | tools/check/check_x11_devel | 11 |
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 |