]> granicus.if.org Git - php/commitdiff
disable --with-pcre-valgrind on travis
authorAnatol Belski <ab@php.net>
Thu, 13 Jul 2017 18:28:44 +0000 (20:28 +0200)
committerAnatol Belski <ab@php.net>
Thu, 13 Jul 2017 18:28:44 +0000 (20:28 +0200)
travis/compile.sh

index ddf80f994d68e510e197e59233258a8b56f29317..b2d29b99df670b07c17798a21280cb4199de7028 100755 (executable)
@@ -5,7 +5,7 @@ else
        TS="";
 fi
 if [[ "$ENABLE_DEBUG" == 1 ]]; then
-       DEBUG="--enable-debug";
+       DEBUG="--enable-debug --without-pcre-valgrind";
 else
        DEBUG="";
 fi