diff options
Diffstat (limited to 'ext/pcre')
| -rw-r--r-- | ext/pcre/config.w32 | 1 | ||||
| -rw-r--r-- | ext/pcre/config0.m4 | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/ext/pcre/config.w32 b/ext/pcre/config.w32 index 02256887a1..aeea1c4506 100644 --- a/ext/pcre/config.w32 +++ b/ext/pcre/config.w32 @@ -16,4 +16,3 @@ ARG_WITH("pcre-jit", "Enable PCRE JIT support", "yes"); if (PHP_PCRE_JIT != "no") { AC_DEFINE('HAVE_PCRE_JIT_SUPPORT', 1, 'PCRE library'); } - diff --git a/ext/pcre/config0.m4 b/ext/pcre/config0.m4 index 95298a90b2..721b7f6191 100644 --- a/ext/pcre/config0.m4 +++ b/ext/pcre/config0.m4 @@ -111,4 +111,3 @@ PHP_ARG_WITH(pcre-valgrind,,[ --with-pcre-valgrind=DIR fi fi fi - |