diff options
| author | Anatol Belski <ab@php.net> | 2017-07-13 20:28:10 +0200 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2017-07-13 20:28:10 +0200 |
| commit | 24de0fe9f4f92178adba27e2f1353e97a956b4a8 (patch) | |
| tree | 522d2bfc6ef1c5f3d73f7c31e0a609caa0e5b40f /ext/pcre/config0.m4 | |
| parent | 850bb998d9664e849ed743ea031dd0ee2a64cc9d (diff) | |
| download | php-git-24de0fe9f4f92178adba27e2f1353e97a956b4a8.tar.gz | |
fix default args for --with-pcre-valgrind
Diffstat (limited to 'ext/pcre/config0.m4')
| -rw-r--r-- | ext/pcre/config0.m4 | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/ext/pcre/config0.m4 b/ext/pcre/config0.m4 index aa8cd304e0..cc9f1b262a 100644 --- a/ext/pcre/config0.m4 +++ b/ext/pcre/config0.m4 @@ -78,15 +78,20 @@ PHP_ARG_WITH(pcre-jit,,[ --with-pcre-jit Enable PCRE JIT functionality] fi fi -PHP_ARG_WITH(pcre-valgrind,,[ --with-pcre-valgrind=DIR - Enable PCRE valgrind support. Developers only!], $PHP_DEBUG, no) + if test "$PHP_DEBUG" != "no" && test "$PHP_DEBUG" != "0"; then + PHP_ARG_WITH(pcre-valgrind,,[ --with-pcre-valgrind=DIR + Enable PCRE valgrind support. Developers only!], yes, no) + else + PHP_ARG_WITH(pcre-valgrind,,[ --with-pcre-valgrind=DIR + Enable PCRE valgrind support. Developers only!], no, no) + fi if test "$PHP_PCRE_REGEX" != "yes" && test "$PHP_PCRE_REGEX" != "no"; then AC_MSG_WARN([PHP is going to be linked with an external PCRE, --with-pcre-valgrind has no effect]) else - if test "$PHP_PCRE_VALGRIND" = "no" && test "$PHP_DEBUG" != "no"; then + if test "$PHP_PCRE_VALGRIND" = "no" && test "$PHP_DEBUG" != "0"; then AC_MSG_NOTICE([PCRE Valgrind support is disabled for debug build]) - elif test "$PHP_PCRE_VALGRIND" != "no" || test "$PHP_DEBUG" != "no"; then + elif test "$PHP_PCRE_VALGRIND" != "no" || test "$PHP_DEBUG" != "0"; then PHP_PCRE_VALGRIND_INCDIR= AC_MSG_CHECKING([for Valgrind headers location]) for i in $PHP_PCRE_VALGRIND $PHP_PCRE_VALGRIND/include $PHP_PCRE_VALGRIND/local/include /usr/include /usr/local/include; do |