Merge pull request #16006 from ghostwriternr/update-bazel

Upgrade Bazel to 0.15.0
This commit is contained in:
Matt Kwong 2018-07-12 14:22:30 -07:00 committed by GitHub
commit 351f0bb5c1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -2,4 +2,4 @@
# 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

View File

@ -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