From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 30 Dec 2014 21:31:04 +0000 (+0100)
Subject: print timing details (-d) in -q mode
X-Git-Tag: yosys-0.5~171
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=50fff2b24061208a4b7c0ff9a4839e1938c66140;p=yosys.git

print timing details (-d) in -q mode
---

diff --git a/kernel/driver.cc b/kernel/driver.cc
index cdf784602..b7cb414ce 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