Lucet now has a --reserved-size knob

This commit is contained in:
Frank Denis
2019-05-02 10:16:21 +02:00
parent ab1e720a30
commit 56d93ffe62
+1 -1
View File
@@ -11,7 +11,7 @@ fi
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "lucet" ]; then if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "lucet" ]; then
if command -v lucetc-wasi >/dev/null && command -v lucet-wasi >/dev/null; then if command -v lucetc-wasi >/dev/null && command -v lucet-wasi >/dev/null; then
lucetc-wasi \ lucetc-wasi \
--min-reserved-size "${MAX_MEMORY_MB}MiB" \ --reserved-size "${MAX_MEMORY_MB}MiB" \
-o "${1}.so" --opt-level best "$1" && -o "${1}.so" --opt-level best "$1" &&
lucet-wasi --dir=.:. --max-heap-size "${MAX_MEMORY_MB}MiB" "${1}.so" && lucet-wasi --dir=.:. --max-heap-size "${MAX_MEMORY_MB}MiB" "${1}.so" &&
rm -f "${1}.so" && exit 0 rm -f "${1}.so" && exit 0