diff options
| -rw-r--r-- | lib/Support/Timer.cpp | 5 | ||||
| -rw-r--r-- | support/lib/Support/Timer.cpp | 5 |
2 files changed, 6 insertions, 4 deletions
diff --git a/lib/Support/Timer.cpp b/lib/Support/Timer.cpp index 3a81fc4b53..96d92f9719 100644 --- a/lib/Support/Timer.cpp +++ b/lib/Support/Timer.cpp @@ -221,8 +221,9 @@ void TimerGroup::removeTimer() { std::cerr << "===" << std::string(73, '-') << "===\n" << std::string(Padding, ' ') << Name << "\n" << "===" << std::string(73, '-') - << "===\n Total Execution Time: " << Total.getProcessTime() - << " seconds (" << Total.getWallTime() + << "===\n Total Execution Time: " << std::fixed + << Total.getProcessTime() + << " seconds (" << Total.getWallTime() << std::scientific << " wall clock)\n\n"; if (Total.UserTime) diff --git a/support/lib/Support/Timer.cpp b/support/lib/Support/Timer.cpp index 3a81fc4b53..96d92f9719 100644 --- a/support/lib/Support/Timer.cpp +++ b/support/lib/Support/Timer.cpp @@ -221,8 +221,9 @@ void TimerGroup::removeTimer() { std::cerr << "===" << std::string(73, '-') << "===\n" << std::string(Padding, ' ') << Name << "\n" << "===" << std::string(73, '-') - << "===\n Total Execution Time: " << Total.getProcessTime() - << " seconds (" << Total.getWallTime() + << "===\n Total Execution Time: " << std::fixed + << Total.getProcessTime() + << " seconds (" << Total.getWallTime() << std::scientific << " wall clock)\n\n"; if (Total.UserTime) |