diff options
| author | Sam Clegg <sbc@chromium.org> | 2022-10-06 15:48:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-06 22:48:47 +0000 |
| commit | eca3519d738bcd245d46915e9c373c6d58f5b20b (patch) | |
| tree | 128a7799af87ce0ee97d2413be6ebf9e5241d5e0 /include | |
| parent | 5ff1faaadf177c578e8c1a7949bae092c100eb84 (diff) | |
| download | wabt-eca3519d738bcd245d46915e9c373c6d58f5b20b.tar.gz wabt-eca3519d738bcd245d46915e9c373c6d58f5b20b.tar.bz2 wabt-eca3519d738bcd245d46915e9c373c6d58f5b20b.zip | |
Fix WITH_WASI build (#2017)
Also, make sure we test this configuration.
Fixes: #2016
Diffstat (limited to 'include')
| -rw-r--r-- | include/wabt/interp/wasi_api.def | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/include/wabt/interp/wasi_api.def b/include/wabt/interp/wasi_api.def deleted file mode 100644 index 008e9fd6..00000000 --- a/include/wabt/interp/wasi_api.def +++ /dev/null @@ -1,28 +0,0 @@ -WASI_FUNC(proc_exit) -WASI_FUNC(fd_read) -WASI_FUNC(fd_pread) -WASI_FUNC(fd_write) -WASI_FUNC(fd_pwrite) -WASI_FUNC(fd_close) -WASI_FUNC(fd_seek) -WASI_FUNC(fd_prestat_get) -WASI_FUNC(fd_prestat_dir_name) -WASI_FUNC(fd_fdstat_get) -WASI_FUNC(fd_fdstat_set_flags) -WASI_FUNC(fd_filestat_get) -WASI_FUNC(fd_readdir) -WASI_FUNC(environ_sizes_get) -WASI_FUNC(environ_get) -WASI_FUNC(args_sizes_get) -WASI_FUNC(args_get) -WASI_FUNC(path_open) -WASI_FUNC(path_filestat_get) -WASI_FUNC(path_symlink) -WASI_FUNC(path_unlink_file) -WASI_FUNC(path_remove_directory) -WASI_FUNC(path_create_directory) -WASI_FUNC(path_readlink) -WASI_FUNC(path_rename) -WASI_FUNC(clock_time_get) -WASI_FUNC(poll_oneoff) -WASI_FUNC(random_get) |