From aaf124d1718b61e8c2b60e8914bf15dc30a88ec4 Mon Sep 17 00:00:00 2001 From: Ranjit Jhala Date: Wed, 30 Oct 2024 11:01:36 -0700 Subject: [PATCH] passes `trait` branch non-debug build --- kernel/Cargo.toml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/kernel/Cargo.toml b/kernel/Cargo.toml index db97ff0dfc..25194cf6f1 100644 --- a/kernel/Cargo.toml +++ b/kernel/Cargo.toml @@ -16,7 +16,8 @@ tock-registers = { path = "../libraries/tock-register-interface" } tock-cells = { path = "../libraries/tock-cells" } tock-tbf = { path = "../libraries/tock-tbf" } flux_support = { path = "../flux_support" } -flux-rs = { git = "https://github.com/flux-rs/flux.git" } +# flux-rs = { git = "https://github.com/flux-rs/flux.git" } +flux-rs = { path = "../../flux/lib/flux-rs" } # In general, Tock discourages the use of cargo features. However for certain # kernel crate configuration, we have not found reasonable alternatives to