diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-03-04 22:35:59 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-03-04 22:35:59 +0100 |
| commit | e5534a080e953b7935defa92bed9452ed1616047 (patch) | |
| tree | f24a97ef4f8c33e3c740f9e1a90eafce18140e39 /kernel/driver.cc | |
| parent | 2935e8ea4152b0678314f79bae91258565592032 (diff) | |
| download | yosys-e5534a080e953b7935defa92bed9452ed1616047.tar.gz yosys-e5534a080e953b7935defa92bed9452ed1616047.tar.bz2 yosys-e5534a080e953b7935defa92bed9452ed1616047.zip | |
Improve handling of warning messages
Signed-off-by: Clifford Wolf <clifford@clifford.at>
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 |