Unnamed repository; edit this file 'description' to name the repository.
minor: use extra_args for fetching workspace
jakhh8 2023-04-24
parent 2feabc4 · commit f502169
-rw-r--r--crates/project-model/src/cargo_workspace.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/project-model/src/cargo_workspace.rs b/crates/project-model/src/cargo_workspace.rs
index 01162b1a8b..2ad193d181 100644
--- a/crates/project-model/src/cargo_workspace.rs
+++ b/crates/project-model/src/cargo_workspace.rs
@@ -297,6 +297,7 @@ impl CargoWorkspace {
let other_options: Vec<_> = targets
.into_iter()
.flat_map(|target| ["--filter-platform".to_string(), target])
+ .chain(config.extra_args.clone())
.collect();
meta.other_options(other_options);
}