diff options
Diffstat (limited to 'bin/src/lint.rs')
-rw-r--r-- | bin/src/lint.rs | 2 |
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 | } |