mirror of
https://github.com/php/php-src.git
synced 2024-11-27 11:53:33 +08:00
disable --with-pcre-valgrind on travis
This commit is contained in:
parent
24de0fe9f4
commit
9ce076a3d1
@ -5,7 +5,7 @@ else
|
||||
TS="";
|
||||
fi
|
||||
if [[ "$ENABLE_DEBUG" == 1 ]]; then
|
||||
DEBUG="--enable-debug";
|
||||
DEBUG="--enable-debug --without-pcre-valgrind";
|
||||
else
|
||||
DEBUG="";
|
||||
fi
|
||||
|
Loading…
Reference in New Issue
Block a user