Update to bazel 7.2.0rc1

Just use the prebuilt binary, don't both compressing it.

Signed-off-by: Stephan Pleines <pleines.stephan@gmail.com>
Change-Id: If7ed8b6f67cb42fe9f54f2d10f3b19d43392cac2
diff --git a/tools/bazel b/tools/bazel
index d4312b2..3c6a359 100755
--- a/tools/bazel
+++ b/tools/bazel
@@ -24,7 +24,7 @@
   exec "${BAZEL_OVERRIDE}" "$@"
 fi
 
-readonly VERSION="7.1.1"
+readonly VERSION="7.2.0rc1"
 
 readonly DOWNLOAD_DIR="${HOME}/.cache/bazel"
 # Directory to unpack bazel into.  This must change whenever bazel changes.
@@ -40,8 +40,8 @@
   exit 1
 fi
 
-readonly INSTALLER_NAME="bazel_${VERSION}.xz"
-readonly DOWNLOAD_URL="https://software.frc971.org/Build-Dependencies/${INSTALLER_NAME}"
+readonly INSTALLER_NAME="bazel-${VERSION}-linux-x86_64"
+readonly DOWNLOAD_URL="https://software.frc971.org/Build-Dependencies/github.com/bazelbuild/bazel/releases/download/${VERSION}/${INSTALLER_NAME}"
 
 if [[ ! -d "${VERSION_DIR}" ]]; then
   echo "Downloading Bazel version ${VERSION} from ${DOWNLOAD_URL}..." >&2
@@ -72,9 +72,9 @@
   )
 
   ( cd "${TEMP_DIR}"
-    echo "Unpacking Bazel version ${VERSION}..." >&2
+    echo "Copying Bazel version ${VERSION}..." >&2
     mkdir -p extracted/usr/bin
-    xz -d ${HOME}/.cache/bazel/${INSTALLER_NAME} -c > extracted/usr/bin/bazel-real
+    cp ${HOME}/.cache/bazel/${INSTALLER_NAME} extracted/usr/bin/bazel-real
     chmod a+x extracted/usr/bin/bazel-real
   )