diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/travis-build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/travis-build.sh b/scripts/travis-build.sh index 7558b399..fca1773e 100755 --- a/scripts/travis-build.sh +++ b/scripts/travis-build.sh @@ -21,6 +21,8 @@ setup_env() { # We have to do this by hand rather than use the coverity addon because of # matrix explosion: https://github.com/travis-ci/travis-ci/issues/1975 +# We also do it by hand because when we're throttled, the addon will exit +# the build immediately and skip the main script! coverity_scan() { if [ "${TRAVIS_JOB_NUMBER##*.}" != "1" ] || \ [ -n "${TRAVIS_TAG}" ] || \ |