diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/lib-travisci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/lib-travisci.sh b/ci/lib-travisci.sh index 0e1c38491c..331d3eb3a6 100755 --- a/ci/lib-travisci.sh +++ b/ci/lib-travisci.sh @@ -23,7 +23,7 @@ skip_branch_tip_with_tag () { # Set 'exit on error' for all CI scripts to let the caller know that # something went wrong -set -e +set -ex skip_branch_tip_with_tag |