Merge pull request #4036 from Mandragorian/clap

Use clap in miri-script
rust-lang · Dec 14, 2024 · e086edf · e086edf
2 parents 21d531b + 1309e4c
commit e086edf
Show file tree

Hide file tree

Showing 4 changed files with 254 additions and 335 deletions.
diff --git a/miri-script/Cargo.lock b/miri-script/Cargo.lock
diff --git a/miri-script/Cargo.toml b/miri-script/Cargo.toml
@@ -25,3 +25,4 @@ dunce = "1.0.4"
 directories = "5"
 serde_json = "1"
 tempfile = "3.13.0"
+clap = { version = "4.5.21", features = ["derive"] }
diff --git a/miri-script/src/args.rs b/miri-script/src/args.rs