diff --git a/miri-script/src/main.rs b/miri-script/src/main.rs index 2153fc6dbd..7b13324d52 100644 --- a/miri-script/src/main.rs +++ b/miri-script/src/main.rs @@ -130,10 +130,11 @@ impl Command { | Self::Fmt { flags } | Self::Clippy { flags } | Self::Run { flags, .. } - | Self::Test { flags, .. } => { - flags.push("--".into()); - flags.extend(remainder); - } + | Self::Test { flags, .. } => + if !remainder.is_empty() { + flags.push("--".into()); + flags.extend(remainder); + }, _ => (), } } @@ -216,6 +217,7 @@ fn main() -> Result<()> { let args = Cli::parse_from(miri_args); let mut command = args.command; command.add_remainder(remainder); + dbg!(&command); command.exec()?; Ok(()) }