diff options
Diffstat (limited to 'travis.sh')
| -rwxr-xr-x | travis.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/travis.sh b/travis.sh index 864486c6b8b..b36add46a73 100755 --- a/travis.sh +++ b/travis.sh @@ -3,7 +3,7 @@ set -euo pipefail function installTravisTools { - curl -sSL https://raw.githubusercontent.com/sonarsource/travis-utils/v11/install.sh | bash + curl -sSL https://raw.githubusercontent.com/sonarsource/travis-utils/v13/install.sh | bash source /tmp/travis-utils/env.sh } |