projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5fa06e4 ff7a8d0)
Merge pull request #2012 from whitequark/fix-wasi-abc-build
authorwhitequark <whitequark@whitequark.org>
Tue, 5 May 2020 14:03:40 +0000 (14:03 +0000)
committerGitHub <noreply@github.com>
Tue, 5 May 2020 14:03:40 +0000 (14:03 +0000)
Fix WASI builds with abc enabled


Trivial merge