diff options
Diffstat (limited to 'travis.sh')
| -rwxr-xr-x | travis.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/travis.sh b/travis.sh index d2bb0abb6bb..97963c503cc 100755 --- a/travis.sh +++ b/travis.sh @@ -113,11 +113,16 @@ function fixBuildVersion { # function configureTravis { mkdir ~/.local - curl -sSL https://github.com/SonarSource/travis-utils/tarball/v33 | tar zx --strip-components 1 -C ~/.local + curl -sSL https://github.com/SonarSource/travis-utils/tarball/v35 | tar zx --strip-components 1 -C ~/.local source ~/.local/bin/install } configureTravis +# When pull request exists on the branch, then the job related to the branch does not need +# to be executed and should be canceled. It does not book slaves for nothing. +# @TravisCI please provide the feature natively, like at AppVeyor or CircleCI ;-) +cancel_branch_build_with_pr + case "$TARGET" in BUILD) |