diff options
Diffstat (limited to 'ext/dio/config.m4')
| -rw-r--r-- | ext/dio/config.m4 | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/ext/dio/config.m4 b/ext/dio/config.m4 deleted file mode 100644 index 59d24229e1..0000000000 --- a/ext/dio/config.m4 +++ /dev/null @@ -1,10 +0,0 @@ -dnl -dnl $Id$ -dnl - -PHP_ARG_ENABLE(dio, whether to enable direct I/O support, -[ --enable-dio Enable direct I/O support]) - -if test "$PHP_DIO" != "no"; then - PHP_NEW_EXTENSION(dio, dio.c, $ext_shared) -fi |