patch remove_check_x11_devel

diff --git a/tools/check/check_x11_devel b/tools/check/check_x11_devel
deleted file mode 100755 (executable)
index aab7e42..0000000
--- a/tools/check/check_x11_devel
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh
-# CHECK-BUILD
-
-. ./funcs.sh
-
-has_header X11/keysymdef.h || \
-has_header /usr/X11R6/include/X11/keysymdef.h || \
-fail "can't find X11 headers"