diff options
author | Santiago M. Mola <santi@mola.io> | 2020-08-01 17:43:08 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-08-03 14:48:00 +0200 |
commit | fdf6b0fefe58be5b7ca1b3528ca6cab0d868880a (patch) | |
tree | 8b7e0ee9f2ed6ccd61bbc68b6daab0253a9e0372 /travis | |
parent | 17d64af18665a160347c994eff27ea37c15dfc76 (diff) | |
download | php-git-fdf6b0fefe58be5b7ca1b3528ca6cab0d868880a.tar.gz |
set -ex on travis/compile.sh
-e to fail early: ./configure may fail and further errors from make bury
the original problem in the logs.
-x for easier debugging
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 03d8ac6c1e..683e7012a4 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 |