diff options
Diffstat (limited to 'ext/overload/config.m4')
-rw-r--r-- | ext/overload/config.m4 | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/ext/overload/config.m4 b/ext/overload/config.m4 deleted file mode 100644 index 073d2c1902..0000000000 --- a/ext/overload/config.m4 +++ /dev/null @@ -1,10 +0,0 @@ -dnl $Id$ -dnl config.m4 for extension overload - -PHP_ARG_ENABLE(overload,for user-space object overloading support, -[ --enable-overload Enable user-space object overloading support]) - -if test "$PHP_OVERLOAD" != "no"; then - AC_DEFINE(HAVE_OVERLOAD, 1, [ ]) - PHP_EXTENSION(overload, $ext_shared) -fi |