diff options
author | whitequark <whitequark@whitequark.org> | 2020-06-13 23:28:18 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-13 23:28:18 +0000 |
commit | 74e93e083ff23f3381fe2409e5847f9843840b17 (patch) | |
tree | 93a5153ea49207aa8952e5fa193edfe92678cbfd | |
parent | 971a7651555651e569311c6cbe039f0eee8cde93 (diff) | |
parent | 7137f99658903e88ce78411097164c8caec661c8 (diff) | |
download | yosys-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.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) |