diff options
-rwxr-xr-x | tools/check/check_x11_devel | 3 | ||||
-rw-r--r-- | tools/check/funcs.sh | 5 |
2 files changed, 7 insertions, 1 deletions
diff --git a/tools/check/check_x11_devel b/tools/check/check_x11_devel index aab7e42cda..8b7df98400 100755 --- a/tools/check/check_x11_devel +++ b/tools/check/check_x11_devel @@ -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 --git a/tools/check/funcs.sh b/tools/check/funcs.sh index d3fb60abb3..095dcb1ad2 100644 --- a/tools/check/funcs.sh +++ b/tools/check/funcs.sh @@ -78,6 +78,11 @@ check_sys_root() { fi } +warning() { + echo + echo " *** `basename "$0"` FAILED${*+: $*}" +} + fail() { echo echo " *** `basename "$0"` FAILED${*+: $*}" |