mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-23 20:58:55 +00:00
Code Activity

Added -v<level> option and some minor driver cleanups

Browse source
This commit is contained in:
Clifford Wolf 2013-11-17 13:26:31 +01:00
parent 2df5cd87b2
commit 7d52eb0ddb
3 changed files with 23 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
kernel/log.cc
View file

@ -32,6 +32,7 @@ std::vector<FILE*> log_files;
FILE *log_errfile = NULL;
bool log_time = false;
bool log_cmd_error_throw = false;
int log_verbose_level;
std::vector<int> header_count;
std::list<std::string> string_buf;
@ -101,6 +102,14 @@ void logv_header(const char *format, va_list ap)
log(" ");
logv(format, ap);
log_flush();
if (int(header_count.size()) <= log_verbose_level && log_errfile != NULL) {
for (int c : header_count)
fprintf(log_errfile, "%d.", c);
fprintf(log_errfile, " ");
vfprintf(log_errfile, format, ap);
fflush(log_errfile);
}
}
void logv_error(const char *format, va_list ap)