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 f89aaf52b..d895f8a7e 100644 --- a/cli/tools/coverage/mod.rs +++ b/cli/tools/coverage/mod.rs @@ -703,7 +703,9 @@ pub async fn cover_files( &out_mode, ); - reporter.report(&coverage_report, original_source)?; + if !coverage_report.found_lines.is_empty() { + reporter.report(&coverage_report, original_source)?; + } } reporter.done(); |