don't add -- if remainder is empty

rust-lang · Nov 17, 2024 · 283e0f1 · 283e0f1
1 parent 80da469
commit 283e0f1
Showing 1 changed file with 5 additions and 2 deletions.
diff --git 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(())
 }