diff options
Diffstat (limited to 'ext/tokenizer/config.m4')
| -rw-r--r-- | ext/tokenizer/config.m4 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/ext/tokenizer/config.m4 b/ext/tokenizer/config.m4 deleted file mode 100644 index eed403626e..0000000000 --- a/ext/tokenizer/config.m4 +++ /dev/null @@ -1,12 +0,0 @@ -dnl $Id$ -dnl config.m4 for extension tokenizer - -dnl Otherwise use enable: - -PHP_ARG_ENABLE(tokenizer, whether to enable tokenizer support, -[ --disable-tokenizer Disable tokenizer support], yes) - -if test "$PHP_TOKENIZER" != "no"; then - PHP_NEW_EXTENSION(tokenizer, tokenizer.c, $ext_shared) - PHP_ADD_MAKEFILE_FRAGMENT -fi |