projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 760096e 750e7a9)
Merge pull request #1715 from boqwxp/master
authorEddie Hung <eddie@fpgeh.com>
Sat, 22 Feb 2020 19:29:22 +0000 (11:29 -0800)
committerGitHub <noreply@github.com>
Sat, 22 Feb 2020 19:29:22 +0000 (11:29 -0800)
Closes #1714. Fix make failure when NDEBUG=1.


Trivial merge