From f502169f1c76876e4ee522cd6ffbd6727ca93766 Mon Sep 17 00:00:00 2001 From: jakhh8 Date: Sun, 23 Apr 2023 21:19:40 +0200 Subject: [PATCH] minor: use extra_args for fetching workspace --- crates/project-model/src/cargo_workspace.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/project-model/src/cargo_workspace.rs b/crates/project-model/src/cargo_workspace.rs index 01162b1a8ba..2ad193d181f 100644 --- a/crates/project-model/src/cargo_workspace.rs +++ b/crates/project-model/src/cargo_workspace.rs @@ -297,6 +297,7 @@ pub fn fetch_metadata( 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); }