summaryrefslogtreecommitdiff
path: root/kernel/driver.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-12-30 22:31:04 +0100
committerClifford Wolf <clifford@clifford.at>2014-12-30 22:31:04 +0100
commit50fff2b24061208a4b7c0ff9a4839e1938c66140 (patch)
treea5b3e5869b3dc3d410bf29492b9a6c57aab5548a /kernel/driver.cc
parent972faab1c88186248d81e284e5767811bf5096e9 (diff)
print timing details (-d) in -q mode
Diffstat (limited to 'kernel/driver.cc')
-rw-r--r--kernel/driver.cc4
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