diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-07 13:39:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-07 13:39:46 +0200 |
| commit | 6d49145497e48bb063ebbed5164b45569e91b5ca (patch) | |
| tree | 151c2b9268fe7c2c42d94a601220de6c35efd9c8 /kernel/log.h | |
| parent | f01a61f093528e5111e5dac8aedbf8c7c468be1c (diff) | |
| parent | 211d85cfcc1ae701bb9392347bcbb9750e3045b0 (diff) | |
| download | yosys-6d49145497e48bb063ebbed5164b45569e91b5ca.tar.gz yosys-6d49145497e48bb063ebbed5164b45569e91b5ca.tar.bz2 yosys-6d49145497e48bb063ebbed5164b45569e91b5ca.zip | |
Merge pull request #1077 from YosysHQ/clifford/pr983
elaboration system tasks
Diffstat (limited to 'kernel/log.h')
| -rw-r--r-- | kernel/log.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/log.h b/kernel/log.h index e6afae716..3e1facae8 100644 --- a/kernel/log.h +++ b/kernel/log.h @@ -80,6 +80,7 @@ void log_warning(const char *format, ...) YS_ATTRIBUTE(format(printf, 1, 2)); // Log with filename to report a problem in a source file. void log_file_warning(const std::string &filename, int lineno, const char *format, ...) YS_ATTRIBUTE(format(printf, 3, 4)); +void log_file_info(const std::string &filename, int lineno, const char *format, ...) YS_ATTRIBUTE(format(printf, 3, 4)); void log_warning_noprefix(const char *format, ...) YS_ATTRIBUTE(format(printf, 1, 2)); YS_NORETURN void log_error(const char *format, ...) YS_ATTRIBUTE(format(printf, 1, 2), noreturn); |