lucetc will eventually use --opt-level fast instead of --opt-level best

This commit is contained in:
Frank Denis
2019-05-30 20:30:45 +02:00
parent 1854820cc3
commit 922e91a7bf
+1 -1
View File
@@ -12,7 +12,7 @@ if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "lucet" ]; then
if command -v lucetc-wasi >/dev/null && command -v lucet-wasi >/dev/null; then
lucetc-wasi \
--reserved-size "${MAX_MEMORY_TESTS}" \
-o "${1}.so" --opt-level best "$1" &&
-o "${1}.so" --opt-level fast "$1" &&
lucet-wasi --dir=.:. --max-heap-size "${MAX_MEMORY_TESTS}" "${1}.so" &&
rm -f "${1}.so" && exit 0
fi