CHERIoT: enable using either v13 or v17 toolchain Bypass-Presubmit-Reason: tested together with other cl's Change-Id: I685318f770785899373617d2b9791b32a2782de4
diff --git a/toolchains/cheri_llvm/BUILD.bazel b/toolchains/cheri_llvm/BUILD.bazel index 45d5c69..2953718 100644 --- a/toolchains/cheri_llvm/BUILD.bazel +++ b/toolchains/cheri_llvm/BUILD.bazel
@@ -4,6 +4,7 @@ package(default_visibility = ["//visibility:public"]) SYSTEM_INCLUDE_PATHS = [ + "external/cheriot-llvm/lib/clang/17.0.0/include", "external/cheriot-llvm/lib/clang/13.0.0/include", "external/cheriot-llvm/riscv32-unknown-elf/include", ]