diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-07 16:15:19 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-07 16:15:19 -0700 |
| commit | 1e201a9b010badec6f220476dc6bc03a06de5b69 (patch) | |
| tree | ceff38dbba8d2b63dd6f302949a742ef2061eff3 /kernel/log.cc | |
| parent | fe4394fb9aacfaee840d2c72b88c5da666fbcb28 (diff) | |
| parent | 2b350401c4577d54c0d460240e2d2847d2eeadc4 (diff) | |
| download | yosys-1e201a9b010badec6f220476dc6bc03a06de5b69.tar.gz yosys-1e201a9b010badec6f220476dc6bc03a06de5b69.tar.bz2 yosys-1e201a9b010badec6f220476dc6bc03a06de5b69.zip | |
Merge remote-tracking branch 'origin/master' into xc7mux
Diffstat (limited to 'kernel/log.cc')
| -rw-r--r-- | kernel/log.cc | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index fa74a6a3c..a7820950c 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -277,11 +277,22 @@ void log_file_warning(const std::string &filename, int lineno, va_list ap; va_start(ap, format); std::string prefix = stringf("%s:%d: Warning: ", - filename.c_str(), lineno); + filename.c_str(), lineno); logv_warning_with_prefix(prefix.c_str(), format, ap); va_end(ap); } +void log_file_info(const std::string &filename, int lineno, + const char *format, ...) +{ + va_list ap; + va_start(ap, format); + std::string fmt = stringf("%s:%d: Info: %s", + filename.c_str(), lineno, format); + logv(fmt.c_str(), ap); + va_end(ap); +} + YS_ATTRIBUTE(noreturn) static void logv_error_with_prefix(const char *prefix, const char *format, va_list ap) |