wasmtime needs a space on -W

mitsuhiko · Sep 29, 2023 · 570e35d · 570e35d
1 parent 4d4881f
commit 570e35d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/wasmtime-wrapper.sh b/scripts/wasmtime-wrapper.sh
@@ -1,4 +1,4 @@
 #!/bin/bash
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 cd $SCRIPT_DIR/..
-wasmtime run -Wmax-wasm-stack=1048576 --env INSTA_WORKSPACE_ROOT=/ --mapdir "/::$(pwd)" -- "$@"
+wasmtime run -W max-wasm-stack=1048576 --env INSTA_WORKSPACE_ROOT=/ --mapdir "/::$(pwd)" -- "$@"