diff options
| author |  Naresh <ghostwriternr@gmail.com> | 2018-07-12 19:35:11 +0000 |
|---|---|---|
| committer | Naresh <ghostwriternr@gmail.com> | 2018-07-12 19:35:11 +0000 |
| commit | b6518afdd610f0115b42aee1ffc71520c6b0d6b1 (patch) | |
| tree | 64437edad4a74283cb101e21bea6f7c29d98fe4e /tools/dockerfile | |
| parent | 0ed80eacc366edb41f15b0207b0b26edb4de061f (diff) | |
Upgrade Bazel to 0.15.0
Diffstat (limited to 'tools/dockerfile')
| -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 |