diff -r f3a909c8e8e6 tools/check/check_x11_devel
--- a/tools/check/check_x11_devel	Wed Jun 24 15:24:53 2009 +0100
+++ b/tools/check/check_x11_devel	Wed Jun 24 16:38:06 2009 +0200
@@ -5,4 +5,5 @@
 
 has_header X11/keysymdef.h || \
 has_header /usr/X11R6/include/X11/keysymdef.h || \
-fail "can't find X11 headers"
+has_header /usr/X11R7/include/X11/keysymdef.h || \
+warning "can't find X11 headers"
diff -r f3a909c8e8e6 tools/check/funcs.sh
--- a/tools/check/funcs.sh	Wed Jun 24 15:24:53 2009 +0100
+++ b/tools/check/funcs.sh	Wed Jun 24 16:38:06 2009 +0200
@@ -78,6 +78,11 @@ check_sys_root() {
 	fi
 }
 
+warning() {
+	echo
+	echo " *** `basename "$0"` FAILED${*+: $*}"
+}
+
 fail() {
 	echo
 	echo " *** `basename "$0"` FAILED${*+: $*}"