Unnamed repository; edit this file 'description' to name the repository.
| -rw-r--r-- | crates/project-model/src/cargo_workspace.rs | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/crates/project-model/src/cargo_workspace.rs b/crates/project-model/src/cargo_workspace.rs index 01162b1a8b..fb98d61963 100644 --- a/crates/project-model/src/cargo_workspace.rs +++ b/crates/project-model/src/cargo_workspace.rs @@ -293,13 +293,16 @@ impl CargoWorkspace { } meta.current_dir(current_dir.as_os_str()); + let mut other_options = config.extra_args.clone(); if !targets.is_empty() { - let other_options: Vec<_> = targets - .into_iter() - .flat_map(|target| ["--filter-platform".to_string(), target]) - .collect(); - meta.other_options(other_options); + other_options.append( + &mut targets + .into_iter() + .flat_map(|target| ["--filter-platform".to_string(), target]) + .collect(), + ); } + meta.other_options(other_options); // FIXME: Fetching metadata is a slow process, as it might require // calling crates.io. We should be reporting progress here, but it's |