Merge pull request #4113 from rmehri01/toolchain-parsing

fix toolchain flag parsing
rust-lang · Dec 28, 2024 · d9396fe · d9396fe
2 parents 8449b7e + 899578c
commit d9396fe
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/miri-script/src/main.rs b/miri-script/src/main.rs
@@ -111,6 +111,7 @@ pub enum Command {
     /// `rustup-toolchain-install-master` must be installed for this to work.
     Toolchain {
         /// Flags that are passed through to `rustup-toolchain-install-master`.
+        #[arg(trailing_var_arg = true, allow_hyphen_values = true)]
         flags: Vec<String>,
     },
     /// Pull and merge Miri changes from the rustc repo.