diff --git a/.ci/travis/travis.sh b/.ci/travis/travis.sh index eecb9b970..c5ddebc4a 100755 --- a/.ci/travis/travis.sh +++ b/.ci/travis/travis.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -euo pipefail +set -e case "$GOAL" in