projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1de07ee 68b5d0c)
Merge pull request #586 from hzeller/more-sourcepos-logging
authorClifford Wolf <clifford@clifford.at>
Fri, 20 Jul 2018 17:22:59 +0000 (19:22 +0200)
committerGitHub <noreply@github.com>
Fri, 20 Jul 2018 17:22:59 +0000 (19:22 +0200)
Convert more log_error() to log_file_error() where possible.


Trivial merge