diff options
| author | Anatol Belski <ab@php.net> | 2017-07-13 20:28:44 +0200 |
|---|---|---|
| committer | Anatol Belski <ab@php.net> | 2017-07-13 20:28:44 +0200 |
| commit | 9ce076a3d12bab14a5e483eee3082363acd567e6 (patch) | |
| tree | 6f1ddfc1f6727e4b25f049ce3a9a88becd1edf1a /travis | |
| parent | 24de0fe9f4f92178adba27e2f1353e97a956b4a8 (diff) | |
| download | php-git-9ce076a3d12bab14a5e483eee3082363acd567e6.tar.gz | |
disable --with-pcre-valgrind on travis
Diffstat (limited to 'travis')
| -rwxr-xr-x | travis/compile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/travis/compile.sh b/travis/compile.sh index ddf80f994d..b2d29b99df 100755 --- a/travis/compile.sh +++ b/travis/compile.sh @@ -5,7 +5,7 @@ else TS=""; fi if [[ "$ENABLE_DEBUG" == 1 ]]; then - DEBUG="--enable-debug"; + DEBUG="--enable-debug --without-pcre-valgrind"; else DEBUG=""; fi |