diff options
| author | whitequark <whitequark@whitequark.org> | 2020-06-22 02:51:42 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2020-06-22 03:03:39 +0000 |
| commit | ef2d917562dadb7efc0780aa717ffe0474a4134f (patch) | |
| tree | 4c32bc071bc7b7b4ef9b4d98ec01aaa3677155a3 | |
| parent | fd2c9b1c19216f6b756f88b18f5ca67b759ca128 (diff) | |
| download | abc-ef2d917562dadb7efc0780aa717ffe0474a4134f.tar.gz abc-ef2d917562dadb7efc0780aa717ffe0474a4134f.tar.bz2 abc-ef2d917562dadb7efc0780aa717ffe0474a4134f.zip | |
Add WASI platform support to main.
| -rw-r--r-- | src/base/main/mainReal.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/main/mainReal.c b/src/base/main/mainReal.c index 68c0c032..a13be5e5 100644 --- a/src/base/main/mainReal.c +++ b/src/base/main/mainReal.c @@ -49,7 +49,9 @@ SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS. #include <sys/times.h> #include <sys/resource.h> #include <unistd.h> +#if !defined(__wasm) #include <signal.h> +#endif #include <stdlib.h> #endif |