We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 5ccf10e + 0eb5ace commit 3fceb03Copy full SHA for 3fceb03
src/tools/miri/miri-script/src/main.rs
@@ -111,6 +111,7 @@ pub enum Command {
111
/// `rustup-toolchain-install-master` must be installed for this to work.
112
Toolchain {
113
/// Flags that are passed through to `rustup-toolchain-install-master`.
114
+ #[arg(trailing_var_arg = true, allow_hyphen_values = true)]
115
flags: Vec<String>,
116
},
117
/// Pull and merge Miri changes from the rustc repo.
0 commit comments