diff options
| author | Victor Stinner <vstinner@python.org> | 2024-06-17 16:08:05 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-17 16:08:05 (GMT) |
| commit | 6acf7776ef8e0f08e1d4b4b5511bea8d716f571f (patch) | |
| tree | aef1d1401319629eddaf82666ed8adbadc2d3466 /Tools/wasm/wasm_build.py | |
| parent | 0506f75c53ce0895408050ededcfb66bc07eb19b (diff) | |
| download | cpython-6acf7776ef8e0f08e1d4b4b5511bea8d716f571f.zip cpython-6acf7776ef8e0f08e1d4b4b5511bea8d716f571f.tar.gz cpython-6acf7776ef8e0f08e1d4b4b5511bea8d716f571f.tar.bz2 | |
gh-120507: Double WASI memory (#120648)
Use 16 MiB stack with 40 MiB memory limit, instead of 8 MiB stack
with 20 MiB memory limit.
Diffstat (limited to 'Tools/wasm/wasm_build.py')
| -rwxr-xr-x | Tools/wasm/wasm_build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/wasm/wasm_build.py b/Tools/wasm/wasm_build.py index 47a0abb..bcb8021 100755 --- a/Tools/wasm/wasm_build.py +++ b/Tools/wasm/wasm_build.py @@ -329,7 +329,7 @@ WASI = Platform( # workaround for https://github.com/python/cpython/issues/95952 "HOSTRUNNER": ( "wasmtime run " - "--wasm max-wasm-stack=8388608 " + "--wasm max-wasm-stack=16777216 " "--wasi preview2 " "--dir {srcdir}::/ " "--env PYTHONPATH=/{relbuilddir}/build/lib.wasi-wasm32-{version}:/Lib" |