aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2020-06-13 23:28:18 +0000
committerGitHub <noreply@github.com>2020-06-13 23:28:18 +0000
commit74e93e083ff23f3381fe2409e5847f9843840b17 (patch)
tree93a5153ea49207aa8952e5fa193edfe92678cbfd
parent971a7651555651e569311c6cbe039f0eee8cde93 (diff)
parent7137f99658903e88ce78411097164c8caec661c8 (diff)
downloadyosys-74e93e083ff23f3381fe2409e5847f9843840b17.tar.gz
yosys-74e93e083ff23f3381fe2409e5847f9843840b17.tar.bz2
yosys-74e93e083ff23f3381fe2409e5847f9843840b17.zip
Merge pull request #2155 from whitequark/fix-wasm-wasi-sdk-11
kernel: guard include of signal.h more precisely
-rw-r--r--kernel/log.h4
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel/log.h b/kernel/log.h
index 516744b50..63590c489 100644
--- a/kernel/log.h
+++ b/kernel/log.h
@@ -55,7 +55,9 @@
#else
# include <sys/time.h>
# include <sys/resource.h>
-# include <signal.h>
+# if defined(__unix__) || (defined(__APPLE__) && defined(__MACH__))
+# include <signal.h>
+# endif
#endif
#if defined(_MSC_VER)