Turn on wasmtime optimizations

This commit is contained in:
Frank Denis
2019-04-09 15:48:23 +02:00
parent aaa9d0d940
commit a7ebe2856f
+1 -1
View File
@@ -1,4 +1,4 @@
#! /bin/sh
wasmtime --dir=. "$1"
wasmtime -o --dir=. "$1"