diff options
Diffstat (limited to 'ext/wddx/config.m4')
| -rw-r--r-- | ext/wddx/config.m4 | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/ext/wddx/config.m4 b/ext/wddx/config.m4 deleted file mode 100644 index 856af34f52..0000000000 --- a/ext/wddx/config.m4 +++ /dev/null @@ -1,15 +0,0 @@ -dnl -dnl $Id$ -dnl - -PHP_ARG_ENABLE(wddx,whether to enable WDDX support, -[ --enable-wddx Enable WDDX support.]) - -if test "$PHP_WDDX" != "no"; then - if test "$ext_shared" != "yes" && test "$enable_xml" = "no"; then - AC_MSG_WARN(Activating XML) - enable_xml=yes - fi - AC_DEFINE(HAVE_WDDX, 1, [ ]) - PHP_NEW_EXTENSION(wddx, wddx.c, $ext_shared) -fi |