diff --git a/build_tools/travis/after_success.sh b/build_tools/travis/after_success.sh index 9cbfd547c..de55b62f2 100755 --- a/build_tools/travis/after_success.sh +++ b/build_tools/travis/after_success.sh @@ -6,6 +6,7 @@ # 02/10/2018 remove due to Travis build issue 6307 # set -e +set +e # because TRAVIS SUCKS # push coverage if necessary if [[ "$COVERAGE" == "true" ]]; then