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/tools | |
| parent | 701099b2a9ec64e6fad3b7ecfd78e8c7224ef83e (diff) | |
feat(bench): add `--no-run` flag (#18433)
Diffstat (limited to 'cli/tools')
| -rw-r--r-- | cli/tools/bench.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/cli/tools/bench.rs b/cli/tools/bench.rs index 56ddb99fb..ebfa8f4d2 100644 --- a/cli/tools/bench.rs +++ b/cli/tools/bench.rs @@ -590,6 +590,10 @@ pub async fn run_benchmarks( check_specifiers(&ps, permissions.clone(), specifiers.clone()).await?; + if bench_options.no_run { + return Ok(()); + } + bench_specifiers( &ps, &permissions, @@ -742,6 +746,10 @@ pub async fn run_benchmarks_with_watch( check_specifiers(&ps, permissions.clone(), specifiers.clone()).await?; + if bench_options.no_run { + return Ok(()); + } + bench_specifiers( &ps, permissions, |