diff options
Diffstat (limited to 'src/shell_manager.cc')
| -rw-r--r-- | src/shell_manager.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/shell_manager.cc b/src/shell_manager.cc index f34b611d..ba6939d0 100644 --- a/src/shell_manager.cc +++ b/src/shell_manager.cc @@ -280,10 +280,10 @@ std::pair<String, int> ShellManager::eval( if (profile) { auto end_time = Clock::now(); - auto full = duration_cast<milliseconds>(end_time - start_time); - auto spawn = duration_cast<milliseconds>(wait_time - spawn_time); - auto wait = duration_cast<milliseconds>(end_time - wait_time); - write_to_debug_buffer(format("shell execution took {} ms (spawn: {}, wait: {})", + auto full = duration_cast<microseconds>(end_time - start_time); + auto spawn = duration_cast<microseconds>(wait_time - spawn_time); + auto wait = duration_cast<microseconds>(end_time - wait_time); + write_to_debug_buffer(format("shell execution took {} us (spawn: {}, wait: {})", (size_t)full.count(), (size_t)spawn.count(), (size_t)wait.count())); } |