diff options
Diffstat (limited to 'tools/check/check_libaio_devel')
-rwxr-xr-x | tools/check/check_libaio_devel | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/check/check_libaio_devel b/tools/check/check_libaio_devel deleted file mode 100755 index 6cf42b7a51..0000000000 --- a/tools/check/check_libaio_devel +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh -# CHECK-BUILD - -. ./funcs.sh - -if [ X${CONFIG_SYSTEM_LIBAIO} != X"y" ] ; then - exit 0 -fi -if ! has_header libaio.h ; then - fail "can't find libaio headers, install libaio devel package or set CONFIG_SYSTEM_LIBAIO=n" -fi |