diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 11:38:48 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 11:38:48 -0800 |
| commit | ade57058f70590bb8353eda32d9b961a31c61fbc (patch) | |
| tree | f5ec87415282a9d993a53d32af37a1be24f7a02b /kernel/driver.cc | |
| parent | a901a5fb44f146415ff45f9fed3f89ca3786b0da (diff) | |
| download | yosys-ade57058f70590bb8353eda32d9b961a31c61fbc.tar.gz yosys-ade57058f70590bb8353eda32d9b961a31c61fbc.tar.bz2 yosys-ade57058f70590bb8353eda32d9b961a31c61fbc.zip | |
As before, only display MEM if Linux or FreeBSD
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index cf676a591..f0d495b46 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -564,6 +564,7 @@ int main(int argc, char **argv) #ifdef _WIN32 log("End of script. Logfile hash: %s\n", hash.c_str()); #else + std::string meminfo; std::string stats_divider = ", "; struct rusage ru_buffer; @@ -577,11 +578,14 @@ int main(int argc, char **argv) ru_buffer.ru_stime.tv_usec += ru_buffer_children.ru_stime.tv_usec; ru_buffer.ru_maxrss = std::max(ru_buffer.ru_maxrss, ru_buffer_children.ru_maxrss); } - log("End of script. Logfile hash: %s%sCPU: user %.2fs system %.2fs, MEM: %.2f MB peak\n", hash.c_str(), - stats_divider.c_str(), ru_buffer.ru_utime.tv_sec + 1e-6 * ru_buffer.ru_utime.tv_usec, - ru_buffer.ru_stime.tv_sec + 1e-6 * ru_buffer.ru_stime.tv_usec, +# if defined(__linux__) || defined(__FreeBSD__) + meminfo = stringf(", MEM: %.2f MB peak", ru_buffer.ru_maxrss / 1024.0); #endif + log("End of script. Logfile hash: %s%sCPU: user %.2fs system %.2fs%s\n", hash.c_str(), + stats_divider.c_str(), ru_buffer.ru_utime.tv_sec + 1e-6 * ru_buffer.ru_utime.tv_usec, + ru_buffer.ru_stime.tv_sec + 1e-6 * ru_buffer.ru_stime.tv_usec, meminfo.c_str()); +#endif log("%s\n", yosys_version_str); int64_t total_ns = 0; |