diff options
Diffstat (limited to 'tools/check/check_zlib_devel')
-rwxr-xr-x | tools/check/check_zlib_devel | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/tools/check/check_zlib_devel b/tools/check/check_zlib_devel deleted file mode 100755 index 2fc0165c21..0000000000 --- a/tools/check/check_zlib_devel +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -# CHECK-BUILD - -. ./funcs.sh - -has_header zlib.h || fail "can't find zlib headers" |