diff options
Diffstat (limited to 'kernel/driver.cc')
-rw-r--r-- | kernel/driver.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 74f53901e..398c89e03 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -558,8 +558,9 @@ int main(int argc, char **argv) fprintf(f, "\n"); } - if (log_expect_no_warnings && log_warnings_count) - log_error("Warnings: %d unique messages, %d total\n", GetSize(log_warnings), log_warnings_count); + if (log_expect_no_warnings && log_warnings_count_noexpect) + log_error("Unexpected warnings found: %d unique messages, %d total, %d expected\n", GetSize(log_warnings), + log_warnings_count, log_warnings_count - log_warnings_count_noexpect); if (print_stats) { |