passes trait branch non-debug build

PLSysSec · Oct 30, 2024 · 6418445 · 6418445
1 parent aaf124d
commit 6418445
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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