From 8d4761e3a3ca981d1708598152516387a69eb428 Mon Sep 17 00:00:00 2001 From: Erik Kaneda Date: Thu, 16 Nov 2023 08:48:48 -0800 Subject: [PATCH] Update src/bootstrap/src/lib.rs Co-authored-by: Urgau <3616612+Urgau@users.noreply.github.com> --- src/bootstrap/src/lib.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/bootstrap/src/lib.rs b/src/bootstrap/src/lib.rs index e0bbc12e5df1..27023e6752b0 100644 --- a/src/bootstrap/src/lib.rs +++ b/src/bootstrap/src/lib.rs @@ -100,6 +100,7 @@ const EXTRA_CHECK_CFGS: &[(Option, &str, Option<&[&'static str]>)] = &[ // (Some(Mode::Std), "target_os", Some(&[])), // #[cfg(bootstrap)] zkvm (Some(Mode::Std), "target_os", Some(&["zkvm"])), + // #[cfg(bootstrap)] risc0 (Some(Mode::Std), "target_vendor", Some(&["risc0"])), (Some(Mode::Std), "target_arch", Some(&["spirv", "nvptx", "xtensa"])), /* Extra names used by dependencies */