aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rw-r--r--bin/src/lint.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/src/lint.rs b/bin/src/lint.rs
index 4a8c540..23a1d10 100644
--- a/bin/src/lint.rs
+++ b/bin/src/lint.rs
@@ -61,7 +61,7 @@ pub mod main {
61 let lint = |vfs_entry| lint_with(vfs_entry, &lints, &session); 61 let lint = |vfs_entry| lint_with(vfs_entry, &lints, &session);
62 let results = vfs.iter().map(lint).collect::<Vec<_>>(); 62 let results = vfs.iter().map(lint).collect::<Vec<_>>();
63 63
64 if results.len() != 0 { 64 if results.iter().map(|r| r.reports.len()).sum::<usize>() != 0 {
65 for r in &results { 65 for r in &results {
66 stdout.write(&r, &vfs, check_config.format).unwrap(); 66 stdout.write(&r, &vfs, check_config.format).unwrap();
67 } 67 }