From: whitequark <whitequark@whitequark.org>
Date: Sat, 13 Jun 2020 23:28:18 +0000 (+0000)
Subject: Merge pull request #2155 from whitequark/fix-wasm-wasi-sdk-11
X-Git-Tag: working-ls180~473
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=74e93e083ff23f3381fe2409e5847f9843840b17;p=yosys.git

Merge pull request #2155 from whitequark/fix-wasm-wasi-sdk-11

kernel: guard include of signal.h more precisely
---

74e93e083ff23f3381fe2409e5847f9843840b17