projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ede4b10 8174110)
Merge pull request #2175 from Xiretza/missing-noreturn
authorwhitequark <whitequark@whitequark.org>
Fri, 19 Jun 2020 15:46:54 +0000 (15:46 +0000)
committerGitHub <noreply@github.com>
Fri, 19 Jun 2020 15:46:54 +0000 (15:46 +0000)
Add missing [[noreturn]] to log_file_error()


Trivial merge