From 1909edfa9c9236b2dc22d18946fd44ff266bce14 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 30 Dec 2014 22:54:42 +0100 Subject: improved -v option --- kernel/driver.cc | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'kernel/driver.cc') diff --git a/kernel/driver.cc b/kernel/driver.cc index b7cb414c..f1bf0657 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -86,6 +86,8 @@ int main(int argc, char **argv) bool print_stats = true; bool call_abort = false; bool timing_details = false; + bool mode_v = false; + bool mode_q = false; #ifdef YOSYS_ENABLE_READLINE int history_offset = 0; @@ -113,7 +115,8 @@ int main(int argc, char **argv) printf(" use this option twice to also quiet warning messages\n"); printf("\n"); printf(" -v \n"); - printf(" print log headers up to level to the console. (implies -q)\n"); + printf(" print log headers up to level to the console. (this\n"); + printf(" implies -q for everything except the 'End of script.' message.)\n"); printf("\n"); printf(" -t\n"); printf(" annotate all log messages with a time stamp\n"); @@ -235,11 +238,13 @@ int main(int argc, char **argv) } break; case 'q': + mode_q = true; if (log_errfile == stderr) log_quiet_warnings = true; log_errfile = stderr; break; case 'v': + mode_v = true; log_errfile = stderr; log_verbose_level = atoi(optarg); break; @@ -333,9 +338,11 @@ int main(int argc, char **argv) delete log_hasher; log_hasher = nullptr; + log_time = false; + yosys_xtrace = 0; log_spacer(); - if (log_errfile != NULL && timing_details) + if (mode_v && !mode_q) log_files.push_back(stderr); #ifdef _WIN32 -- cgit v1.2.3