diff --git a/ci/lib-travisci.sh b/ci/lib-travisci.sh index 0e1c38491ca..331d3eb3a69 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