]> granicus.if.org Git - php/commitdiff
This should be redundant too as we use a centralized PCRE install
authorKalle Sommer Nielsen <kalle@php.net>
Tue, 19 Mar 2019 04:58:15 +0000 (06:58 +0200)
committerKalle Sommer Nielsen <kalle@php.net>
Tue, 19 Mar 2019 04:58:15 +0000 (06:58 +0200)
ext/filter/config.m4

index 8c09bee5eb68e797c83361b397a32a10f81f7a9d..06ca873f6fb9c3644ed2678e84254034ef675b4e 100644 (file)
@@ -6,13 +6,6 @@ PHP_ARG_ENABLE([filter],
     [Disable input filter support])],
   [yes])
 
-PHP_ARG_WITH([pcre-dir],
-  [pcre install prefix],
-  [AS_HELP_STRING([--with-pcre-dir],
-    [FILTER: pcre install prefix])],
-  [no],
-  [no])
-
 if test "$PHP_FILTER" != "no"; then
   PHP_NEW_EXTENSION(filter, filter.c sanitizing_filters.c logical_filters.c callback_filter.c, $ext_shared,, -DZEND_ENABLE_STATIC_TSRMLS_CACHE=1)
   PHP_SUBST(FILTER_SHARED_LIBADD)