diff options
Diffstat (limited to 'cli/tools/coverage')
| -rw-r--r-- | cli/tools/coverage/mod.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cli/tools/coverage/mod.rs b/cli/tools/coverage/mod.rs index 28ecc100e..d951d5d5c 100644 --- a/cli/tools/coverage/mod.rs +++ b/cli/tools/coverage/mod.rs @@ -453,8 +453,10 @@ pub async fn cover_files( // Use the first include path as the default output path. let coverage_root = coverage_flags.files.include[0].clone(); - let script_coverages = collect_coverages(coverage_flags.files)?; + if script_coverages.is_empty() { + return Err(generic_error("No coverage files found")); + } let script_coverages = filter_coverages( script_coverages, coverage_flags.include, |