commit | ddfb97369641944da6ddb7932b1765707f42d3d7 | [log] [tgz] |
---|---|---|
author | Luca Milanesio <luca.milanesio@gmail.com> | Fri Sep 20 22:07:37 2019 +0200 |
committer | Luca Milanesio <luca.milanesio@gmail.com> | Fri Sep 20 20:22:29 2019 +0000 |
tree | 64afe5a73725c8c5eb94deb60c0e16461595ce13 | |
parent | f127b239ece95403f3fb67fb2a38dbb787426db9 [diff] |
Use bazelisk for releasing Gerrit Change-Id: I3bd119765ef231ce98f38f0357aba09322a3e094
diff --git a/jenkins-docker/slave-release/gerrit-release.sh b/jenkins-docker/slave-release/gerrit-release.sh index 191a8dd..ffe1922 100755 --- a/jenkins-docker/slave-release/gerrit-release.sh +++ b/jenkins-docker/slave-release/gerrit-release.sh
@@ -42,7 +42,7 @@ git tag -f -s -m "v$version" "v$version" git submodule foreach git tag -f -s -m "v$version" "v$version" -bazel build release Documentation:searchfree +bazelisk build release Documentation:searchfree ./tools/maven/api.sh install echo -n "Checking Gerrit version ... "