From ee0461eb00d0249284e4750603061add3801b321 Mon Sep 17 00:00:00 2001 From: nella Date: Mon, 9 Mar 2026 15:23:46 +0100 Subject: [PATCH] Change time log format. --- kernel/driver.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kernel/driver.cc b/kernel/driver.cc index 4444089f9..d76841909 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -705,9 +705,9 @@ int main(int argc, char **argv) double wall_seconds = std::chrono::duration( std::chrono::steady_clock::now() - wall_clock_start).count(); - log("End of script. Logfile hash: %s%sCPU: user %.2fs system %.2fs, wall: %.2fs%s\n", hash, - 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, wall_seconds, meminfo.c_str()); + log("End of script. Logfile hash: %s%stime: %.2fs, user: %.2fs, system: %.2fs%s\n", hash, + stats_divider.c_str(), wall_seconds, 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_maybe_version());