diff options
Diffstat (limited to 'travis/main.sh')
-rwxr-xr-x | travis/main.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/travis/main.sh b/travis/main.sh index 9c8c9c9..50e8a2f 100755 --- a/travis/main.sh +++ b/travis/main.sh @@ -4,6 +4,8 @@ # 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() { local reason [[ ${TRAVIS_JOB_NUMBER} != *.1 ]] && reason="not first build job" |