From 05c86927f47d8c25b55633c60e120e2daa15bcb9 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Tue, 23 Apr 2019 02:01:49 +0200 Subject: [PATCH] Remove temporary files --- test/default/wasi-test-wrapper.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test/default/wasi-test-wrapper.sh b/test/default/wasi-test-wrapper.sh index 23573f68..32a5c3b1 100755 --- a/test/default/wasi-test-wrapper.sh +++ b/test/default/wasi-test-wrapper.sh @@ -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