minor: use extra_args for fetching workspace

This commit is contained in:
jakhh8 2023-04-23 21:19:40 +02:00
parent 2feabc4dc4
commit f502169f1c

View file

@ -297,6 +297,7 @@ impl CargoWorkspace {
let other_options: Vec<_> = targets let other_options: Vec<_> = targets
.into_iter() .into_iter()
.flat_map(|target| ["--filter-platform".to_string(), target]) .flat_map(|target| ["--filter-platform".to_string(), target])
.chain(config.extra_args.clone())
.collect(); .collect();
meta.other_options(other_options); meta.other_options(other_options);
} }