Skip to content

Commit e086edf

Browse files
RalfJungRalfJung
authored
Merge pull request #4036 from Mandragorian/clap
Use clap in miri-script
2 parents 21d531b + 1309e4c commit e086edf

File tree

4 files changed

+254
-335
lines changed

4 files changed

+254
-335
lines changed

‎miri-script/Cargo.lock

Lines changed: 121 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎miri-script/Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,3 +25,4 @@ dunce = "1.0.4"
2525
directories = "5"
2626
serde_json = "1"
2727
tempfile = "3.13.0"
28+
clap = { version = "4.5.21", features = ["derive"] }

‎miri-script/src/args.rs

Lines changed: 0 additions & 135 deletions
This file was deleted.

0 commit comments

Comments
 (0)