From 899578cc8f78fe948cc1f5929ef087d938dc5ec6 Mon Sep 17 00:00:00 2001 From: Ryan Mehri Date: Sat, 28 Dec 2024 00:01:42 -0700 Subject: [PATCH] fix toolchain flag parsing --- miri-script/src/main.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/miri-script/src/main.rs b/miri-script/src/main.rs index a80fed8fcb..279bdf8cc3 100644 --- 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, }, /// Pull and merge Miri changes from the rustc repo.