diff options
Diffstat (limited to 'bin')
-rw-r--r-- | bin/src/lint.rs | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/bin/src/lint.rs b/bin/src/lint.rs index 4a8c540..a345558 100644 --- a/bin/src/lint.rs +++ b/bin/src/lint.rs | |||
@@ -61,13 +61,10 @@ 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 | for r in &results { |
65 | for r in &results { | 65 | stdout.write(&r, &vfs, check_config.format).unwrap(); |
66 | stdout.write(&r, &vfs, check_config.format).unwrap(); | ||
67 | } | ||
68 | std::process::exit(1); | ||
69 | } | 66 | } |
70 | 67 | ||
71 | std::process::exit(0); | 68 | std::process::exit(if results.is_empty() { 0 } else { 1 }); |
72 | } | 69 | } |
73 | } | 70 | } |