diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-12-30 22:54:42 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-12-30 22:54:42 +0100 |
commit | 1909edfa9c9236b2dc22d18946fd44ff266bce14 (patch) | |
tree | fbbbd2595876307a6099ab15ad77f20a57dac0e7 /kernel/driver.cc | |
parent | 11c3b81c08e7227275744fe08a1a91295ec23781 (diff) | |
download | yosys-1909edfa9c9236b2dc22d18946fd44ff266bce14.tar.gz yosys-1909edfa9c9236b2dc22d18946fd44ff266bce14.tar.bz2 yosys-1909edfa9c9236b2dc22d18946fd44ff266bce14.zip |
improved -v option
Diffstat (limited to 'kernel/driver.cc')
-rw-r--r-- | kernel/driver.cc | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index b7cb414ce..f1bf0657b 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 <level>\n"); - printf(" print log headers up to level <level> to the console. (implies -q)\n"); + printf(" print log headers up to level <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 |