fix toolchain flag parsing

2024-12-28 00:01:42 -07:00 · 2024-12-28 00:01:42 -07:00 · 0eb5acea2d
commit 0eb5acea2d
parent 5ccf10edf1
1 changed files with 1 additions and 0 deletions
--- a/src/tools/miri/miri-script/src/main.rs
+++ b/src/tools/miri/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.