diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-08-03 14:48:40 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-08-03 14:48:40 +0200 |
commit | 56f11e2d1fdda18d6c54c9878d3ff3f67eab1ebb (patch) | |
tree | 51579e8a6bbeade1bccc9b0f0d7c0bb5ad43814b /travis | |
parent | c48b745f0090c944e77c1fbcfb6c4df3b54356ad (diff) | |
parent | c0fac0357c480cf6c60833ac55254d0734bab8b4 (diff) | |
download | php-git-56f11e2d1fdda18d6c54c9878d3ff3f67eab1ebb.tar.gz |
Merge branch 'PHP-7.4'
* PHP-7.4:
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 7966ea5b6b..dc278c2e15 100755 --- a/travis/compile.sh +++ b/travis/compile.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -ex if [[ "$ENABLE_ZTS" == 1 ]]; then TS="--enable-zts"; else |