diff options
| author | Geert-Jan Zwiers <geertjanzwiers@protonmail.com> | 2023-03-26 16:55:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-26 14:55:58 +0000 |
| commit | a29d88b43bdc3bf08a30fdb64d35beef8839f246 (patch) | |
| tree | 89ca27e21576f410a7b980ddb04c48e63a9bc24d /cli/args/mod.rs | |
| parent | 701099b2a9ec64e6fad3b7ecfd78e8c7224ef83e (diff) | |
feat(bench): add `--no-run` flag (#18433)
Diffstat (limited to 'cli/args/mod.rs')
| -rw-r--r-- | cli/args/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cli/args/mod.rs b/cli/args/mod.rs index 338637455..bbf3f7efb 100644 --- a/cli/args/mod.rs +++ b/cli/args/mod.rs @@ -119,6 +119,7 @@ pub struct BenchOptions { pub files: FilesConfig, pub filter: Option<String>, pub json: bool, + pub no_run: bool, } impl BenchOptions { @@ -134,6 +135,7 @@ impl BenchOptions { ), filter: bench_flags.filter, json: bench_flags.json, + no_run: bench_flags.no_run, }) } } |