diff options
author | whitequark <whitequark@whitequark.org> | 2020-06-13 22:37:04 +0000 |
---|---|---|
committer | whitequark <whitequark@whitequark.org> | 2020-06-13 22:37:04 +0000 |
commit | 7137f99658903e88ce78411097164c8caec661c8 (patch) | |
tree | 93a5153ea49207aa8952e5fa193edfe92678cbfd /kernel | |
parent | 971a7651555651e569311c6cbe039f0eee8cde93 (diff) | |
download | yosys-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.h | 4 |
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) |