commit 12183e0843acdc754d4cb97a161adb6031061ba8
author Sam Leffler <sleffler@google.com> Fri Sep 27 10:41:04 2024 -0700
committer Sam Leffler <sleffler@google.com> Fri Sep 27 18:27:32 2024 +0000
tree f08d6454ecb82917de889b3461140e3670c3b196
parent 50b725e9d810389d29c3c1746cc37b8c9cc8cbed

sencha: band-aid sencha_sw_all

Filter out cheri targets until proper build glue is available.

Bypass-Presubmit-Reason: presubmit successful but status is not updating

Change-Id: I3451033b67f4a3159e849cd01b5f1824e9d7e9a4

platforms/sencha/sencha_hw.mk

diff --git a/platforms/sencha/sencha_hw.mk b/platforms/sencha/sencha_hw.mk
index db61da1..53289eb 100644
--- a/platforms/sencha/sencha_hw.mk
+++ b/platforms/sencha/sencha_hw.mk
@@ -75,7 +75,7 @@
 # built. Currently the target builds matcha targets as well.
 sencha_sw_all: | $(SENCHA_OUT_DIR)
 	cd $(SENCHA_SRC_DIR) && \
-	  bazel build --define DISABLE_VERILATOR_BUILD=true --build_tag_filters="-kelvin_fpga" \
+	  bazel build --define DISABLE_VERILATOR_BUILD=true --build_tag_filters="-kelvin_fpga,-cheri" \
 			//sw/device/...
 	cd $(SENCHA_SRC_DIR) && \
 	  find "bazel-out/" \( -type f -name "*.elf" -o -name "*.bin" -o -name "*.vmem" \) \