diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-08-03 14:48:18 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-08-03 14:48:18 +0200 |
commit | c0fac0357c480cf6c60833ac55254d0734bab8b4 (patch) | |
tree | fbc5795b4ed2564b93902eb62856b5659d2f00b7 /travis | |
parent | 6f0c3386d4f44e40e24e9d0aa6856e44cab971fa (diff) | |
parent | fdf6b0fefe58be5b7ca1b3528ca6cab0d868880a (diff) | |
download | php-git-c0fac0357c480cf6c60833ac55254d0734bab8b4.tar.gz |
Merge branch 'PHP-7.3' into PHP-7.4
* PHP-7.3:
set -ex on travis/compile.sh
Diffstat (limited to 'travis')
-rwxr-xr-x | travis/compile.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/travis/compile.sh b/travis/compile.sh index 2b2a4424c4..3669643f9d 100755 --- a/travis/compile.sh +++ b/travis/compile.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -ex if [[ "$ENABLE_MAINTAINER_ZTS" == 1 ]]; then TS="--enable-maintainer-zts"; else |