aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2020-06-13 22:37:04 +0000
committerwhitequark <whitequark@whitequark.org>2020-06-13 22:37:04 +0000
commit7137f99658903e88ce78411097164c8caec661c8 (patch)
tree93a5153ea49207aa8952e5fa193edfe92678cbfd /kernel
parent971a7651555651e569311c6cbe039f0eee8cde93 (diff)
downloadyosys-7137f99658903e88ce78411097164c8caec661c8.tar.gz
yosys-7137f99658903e88ce78411097164c8caec661c8.tar.bz2
yosys-7137f99658903e88ce78411097164c8caec661c8.zip
kernel: guard include of signal.h more precisely.
Upgrading to WASI SDK 11.0 caused the WASM build to fail because WASM does not have signals. (Arguably Yosys was broken even before, it was just broken silently.)
Diffstat (limited to 'kernel')
-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)