diff options
Diffstat (limited to 'Tools/wasm/wasi.py')
| -rw-r--r-- | Tools/wasm/wasi.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Tools/wasm/wasi.py b/Tools/wasm/wasi.py index efb005e..f69299f 100644 --- a/Tools/wasm/wasi.py +++ b/Tools/wasm/wasi.py @@ -280,9 +280,8 @@ def main(): default_host_runner = (f"{shutil.which('wasmtime')} run " # Make sure the stack size will work for a pydebug # build. - # The 8388608 value comes from `ulimit -s` under Linux - # which equates to 8291 KiB. - "--wasm max-wasm-stack=8388608 " + # Use 16 MiB stack. + "--wasm max-wasm-stack=16777216 " # Use WASI 0.2 primitives. "--wasi preview2 " # Enable thread support; causes use of preview1. |