diff options
Diffstat (limited to 'config.m4')
| -rw-r--r-- | config.m4 | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config.m4 b/config.m4 new file mode 100644 index 0000000..8527939 --- /dev/null +++ b/config.m4 @@ -0,0 +1,8 @@ +PHP_ARG_ENABLE([mini_xdebug], + [whether to enable mini-xdebug], + [AS_HELP_STRING([--enable-mini-xdebug], [Enable mini-xdebug])], + [no]) + +if test "$PHP_MINI_XDEBUG" != "no"; then + PHP_NEW_EXTENSION([mini_xdebug], [mini_xdebug.c], [$ext_shared]) +fi |