Remove temporary files

2026-08-25 08:37:13 +09:00 · 2019-04-23 02:02:19 +02:00
parent fbe5d52a81
commit 05c86927f4
1 changed files with 2 additions and 1 deletions
@@ -17,7 +17,8 @@ if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "lucet" ]; then
    lucetc-wasi \
      --min-reserved-size "128MiB" \
      -o "${1}.so" --opt-level best "$1" &&
-      lucet-wasi --dir=.:. "$1.so" && exit 0
+      lucet-wasi --dir=.:. "${1}.so" &&
+      rm -f "${1}.so" && exit 0
  fi
 fi