diff options
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, |