Run wasm-opt -O4

This commit is contained in:
Frank Denis
2019-10-22 17:16:54 +02:00
parent b40674e29a
commit c9e95c59bd
+4
View File
@@ -2,6 +2,10 @@
MAX_MEMORY_TESTS="67108864"
if command -v wasm-opt >/dev/null; then
wasm-opt -O4 -o "${1}.tmp" "$1" && mv -f "${1}.tmp" "$1"
fi
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wavm" ]; then
if command -v wavm >/dev/null; then
wavm run --abi=wasi "$1" && exit 0