diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-12-30 22:31:04 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-12-30 22:31:04 +0100 |
| commit | 50fff2b24061208a4b7c0ff9a4839e1938c66140 (patch) | |
| tree | a5b3e5869b3dc3d410bf29492b9a6c57aab5548a /kernel | |
| parent | 972faab1c88186248d81e284e5767811bf5096e9 (diff) | |
print timing details (-d) in -q mode
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/driver.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index cdf78460..b7cb414c 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -334,6 +334,10 @@ int main(int argc, char **argv) log_hasher = nullptr; log_spacer(); + + if (log_errfile != NULL && timing_details) + log_files.push_back(stderr); + #ifdef _WIN32 log("End of script. Logfile hash: %s\n", hash.c_str()); #else |