From d12597ff7b41d07c88593a4f99e917b1859e0596 Mon Sep 17 00:00:00 2001 From: Kostis Andrikopoulos Date: Fri, 13 Dec 2024 21:21:12 +0100 Subject: [PATCH] Update miri-script/src/main.rs Co-authored-by: Ralf Jung --- src/tools/miri/miri-script/src/main.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/tools/miri/miri-script/src/main.rs b/src/tools/miri/miri-script/src/main.rs index f0f4778f83a2..1e816e7262d7 100644 --- a/src/tools/miri/miri-script/src/main.rs +++ b/src/tools/miri/miri-script/src/main.rs @@ -156,6 +156,8 @@ pub struct Cli { } fn main() -> Result<()> { + /// Split the arguments into the part before the `--` and the part after. + /// The `--` itself ends up in the second part. let miri_args: Vec<_> = std::env::args().take_while(|x| *x != "--").collect(); let remainder: Vec<_> = std::env::args().skip_while(|x| *x != "--").collect();