Skip to content

Commit 0eb5ace

Browse files
committed
fix toolchain flag parsing
1 parent 5ccf10e commit 0eb5ace

File tree

1 file changed

+1
-0
lines changed
  • src/tools/miri/miri-script/src

1 file changed

+1
-0
lines changed

src/tools/miri/miri-script/src/main.rs

+1
Original file line numberDiff line numberDiff line change
@@ -111,6 +111,7 @@ pub enum Command {
111111
/// `rustup-toolchain-install-master` must be installed for this to work.
112112
Toolchain {
113113
/// Flags that are passed through to `rustup-toolchain-install-master`.
114+
#[arg(trailing_var_arg = true, allow_hyphen_values = true)]
114115
flags: Vec<String>,
115116
},
116117
/// Pull and merge Miri changes from the rustc repo.

0 commit comments

Comments
 (0)