diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-08-16 15:34:00 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-08-16 15:34:00 +0200 |
commit | dbdf89c7054a3f249d7579cb50d10b72b1ac592d (patch) | |
tree | 2af0cc960e08ff95065ea308d801a78e48b6c373 /kernel/driver.cc | |
parent | 674f421b476295d3376ec00644181fc9be02ccaf (diff) |
Added log_spacer()
Diffstat (limited to 'kernel/driver.cc')
-rw-r--r-- | kernel/driver.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 6f976423..d59e68a5 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -274,7 +274,8 @@ int main(int argc, char **argv) struct rusage ru_buffer; getrusage(RUSAGE_SELF, &ru_buffer); - log("\nEnd of script. Logfile hash: %s, CPU: user %.2fs system %.2fs\n", hash.c_str(), + 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); log("%s\n", yosys_version_str); |