print timing details (-d) in -q mode

2014-12-30 22:31:04 +01:00 · 2014-12-30 22:31:04 +01:00 · 50fff2b240
parent 972faab1c8
commit 50fff2b240
1 changed files with 4 additions and 0 deletions
--- 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