From 6418445f414b30ef5d1230288aac5173eb3c4792 Mon Sep 17 00:00:00 2001 From: Ranjit Jhala Date: Wed, 30 Oct 2024 11:02:12 -0700 Subject: [PATCH] passes `trait` branch non-debug build --- kernel/Cargo.toml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/kernel/Cargo.toml b/kernel/Cargo.toml index 25194cf6f1..db97ff0dfc 100644 --- a/kernel/Cargo.toml +++ b/kernel/Cargo.toml @@ -16,8 +16,7 @@ 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 = { path = "../../flux/lib/flux-rs" } +flux-rs = { git = "https://github.com/flux-rs/flux.git" } # In general, Tock discourages the use of cargo features. However for certain # kernel crate configuration, we have not found reasonable alternatives to