From e56374c3c7168355060fca8575f9ededc0e4d371 Mon Sep 17 00:00:00 2001
From: Gary Guo <gary.guo@lowrisc.org>
Date: Sun, 1 Dec 2024 15:02:30 +0000
Subject: [PATCH] bazel_ot: try fix build on darwin

---
 pkgs/bazel_ot/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/bazel_ot/default.nix b/pkgs/bazel_ot/default.nix
index cad27a1..e57b051 100644
--- a/pkgs/bazel_ot/default.nix
+++ b/pkgs/bazel_ot/default.nix
@@ -4,7 +4,7 @@
 {
   runCommand,
   bazelisk,
-  bazel_6,
+  bazel_7,
   ...
 }:
 # OpenTitan requires a specific version of Bazel.
@@ -19,5 +19,5 @@ runCommand "bazel" {} ''
   cp -r ${bazelisk} $out
   chmod -R +w $out
   ln -s $out/bin/bazelisk $out/bin/bazel
-  cp -r ${bazel_6}/share $out/share
+  cp -r ${bazel_7}/share $out/share
 ''