diff options
| author |  Matt Kwong <matt-kwong@users.noreply.github.com> | 2018-07-12 14:22:30 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-07-12 14:22:30 -0700 |
| commit | 351f0bb5c1d026e76d4ccce7fcb889aa3231ef9a (patch) | |
| tree | 1111f7b5314986b398b894fb65d5d2c6684c2b3a /tools | |
| parent | 92d821161300b3766def50d30ffed9db8ad2c108 (diff) | |
| parent | b6518afdd610f0115b42aee1ffc71520c6b0d6b1 (diff) | |
Merge pull request #16006 from ghostwriternr/update-bazel
Upgrade Bazel to 0.15.0
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/dockerfile/test/bazel/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/dockerfile/test/bazel/Dockerfile b/tools/dockerfile/test/bazel/Dockerfile index 2cb2c1260e..1f7331132a 100644 --- a/tools/dockerfile/test/bazel/Dockerfile +++ b/tools/dockerfile/test/bazel/Dockerfile @@ -30,7 +30,7 @@ RUN apt-get update && apt-get -y install \ # Bazel installation RUN echo "deb [arch=amd64] http://storage.googleapis.com/bazel-apt stable jdk1.8" > /etc/apt/sources.list.d/bazel.list RUN curl https://bazel.build/bazel-release.pub.gpg | apt-key add - -RUN apt-get -y update && apt-get -y install bazel=0.13.1 && apt-get clean +RUN apt-get -y update && apt-get -y install bazel=0.15.0 && apt-get clean RUN mkdir -p /var/local/jenkins |