projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 971a765 7137f99)
Merge pull request #2155 from whitequark/fix-wasm-wasi-sdk-11
authorwhitequark <whitequark@whitequark.org>
Sat, 13 Jun 2020 23:28:18 +0000 (23:28 +0000)
committerGitHub <noreply@github.com>
Sat, 13 Jun 2020 23:28:18 +0000 (23:28 +0000)
kernel: guard include of signal.h more precisely


Trivial merge