diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-10-09 10:51:24 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-10-09 10:51:24 +0200 |
| commit | d3405c15bf74b9a61968aa93ccbc61155e05585f (patch) | |
| tree | ecb863c52712da4e64be22b6598023b3454c319b /kernel/driver.cc | |
| parent | ccf7b2e342cd4212ca2c2c94735a3f916b7d790f (diff) | |
No rusage on win32
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index f26d9ef8..4210d7ca 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -268,12 +268,16 @@ int main(int argc, char **argv) delete log_hasher; log_hasher = nullptr; + log_spacer(); +#ifdef WIN32 + log("End of script. Logfile hash: %s\n", hash.c_str()); +#else struct rusage ru_buffer; getrusage(RUSAGE_SELF, &ru_buffer); - log_spacer(); log("End of script. Logfile hash: %s, CPU: user %.2fs system %.2fs\n", hash.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); +#endif log("%s\n", yosys_version_str); int64_t total_ns = 0; |