bazel: Use bazel-3.7.1

dreal · Dec 10, 2020 · 11ce68c · 11ce68c
1 parent 1881f55
commit 11ce68c
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/setup/ubuntu/16.04/install_prereqs.sh b/setup/ubuntu/16.04/install_prereqs.sh
@@ -30,10 +30,10 @@ command_exists () {
 }
 
 if ! command_exists bazel; then
-    BAZEL_VERSION=3.7.0
+    BAZEL_VERSION=3.7.1
     BAZEL_DEBNAME=bazel_${BAZEL_VERSION}-linux-x86_64.deb
     BAZEL_URL=https://github.com/bazelbuild/bazel/releases/download/${BAZEL_VERSION}/${BAZEL_DEBNAME}
-    BAZEL_SHA256=2fc8dfb85328112a9d67f614e33026be74c2ac95645ed8e88896366eaa3d8fc3
+    BAZEL_SHA256=2c6c68c23618ac3f37c73ba111f79212b33968217e1a293aa9bf5a17cdd3212b
     apt-get install -y --no-install-recommends wget
     wget "${BAZEL_URL}"
     if echo "${BAZEL_SHA256}  ${BAZEL_DEBNAME}" | sha256sum -c; then

diff --git a/setup/ubuntu/18.04/install_prereqs.sh b/setup/ubuntu/18.04/install_prereqs.sh
@@ -31,10 +31,10 @@ command_exists () {
 }
 
 if ! command_exists bazel; then
-    BAZEL_VERSION=3.7.0
+    BAZEL_VERSION=3.7.1
     BAZEL_DEBNAME=bazel_${BAZEL_VERSION}-linux-x86_64.deb
     BAZEL_URL=https://github.com/bazelbuild/bazel/releases/download/${BAZEL_VERSION}/${BAZEL_DEBNAME}
-    BAZEL_SHA256=2fc8dfb85328112a9d67f614e33026be74c2ac95645ed8e88896366eaa3d8fc3
+    BAZEL_SHA256=2c6c68c23618ac3f37c73ba111f79212b33968217e1a293aa9bf5a17cdd3212b
     apt-get install -y --no-install-recommends wget
     wget "${BAZEL_URL}"
     if echo "${BAZEL_SHA256}  ${BAZEL_DEBNAME}" | sha256sum -c; then

diff --git a/setup/ubuntu/20.04/install_prereqs.sh b/setup/ubuntu/20.04/install_prereqs.sh
@@ -26,10 +26,10 @@ EOF
 )
 
 # Install bazel
-BAZEL_VERSION=3.7.0
+BAZEL_VERSION=3.7.1
 BAZEL_DEBNAME=bazel_${BAZEL_VERSION}-linux-x86_64.deb
 BAZEL_URL=https://github.com/bazelbuild/bazel/releases/download/${BAZEL_VERSION}/${BAZEL_DEBNAME}
-BAZEL_SHA256=2fc8dfb85328112a9d67f614e33026be74c2ac95645ed8e88896366eaa3d8fc3
+BAZEL_SHA256=2c6c68c23618ac3f37c73ba111f79212b33968217e1a293aa9bf5a17cdd3212b
 apt-get install -y --no-install-recommends wget
 wget "${BAZEL_URL}"
 if echo "${BAZEL_SHA256}  ${BAZEL_DEBNAME}" | sha256sum -c; then