diff --git a/miri-script/src/main.rs b/miri-script/src/main.rs index 2153fc6dbd..57d9593dd4 100644 --- a/miri-script/src/main.rs +++ b/miri-script/src/main.rs @@ -131,8 +131,10 @@ impl Command { | Self::Clippy { flags } | Self::Run { flags, .. } | Self::Test { flags, .. } => { - flags.push("--".into()); - flags.extend(remainder); + if !remainder.is_empty() { + flags.push("--".into()); + flags.extend(remainder); + } } _ => (), } @@ -216,6 +218,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(()) }