now return 1 if there were errors

This commit is contained in:
Joshua Mark Manton
2018-05-17 02:08:04 -07:00
parent 703393fc63
commit 1ee4f849cb
+4
View File
@@ -808,6 +808,10 @@ int main(int arg_count, char **arg_ptr) {
show_timings(&checker, &timings); show_timings(&checker, &timings);
} }
if (global_error_collector.count != 0) {
return 1;
}
return 0; return 0;
} }