diff options
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index f49f6023b..97a78cd16 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -480,6 +480,8 @@ int main(int argc, char **argv) if (mode_v && !mode_q) log_files.push_back(stderr); + if (log_warnings_count) + log("Warnings: %d unique messages, %d total\n", GetSize(log_warnings), log_warnings_count); #ifdef _WIN32 log("End of script. Logfile hash: %s\n", hash.c_str()); #else |