From 69de6de088cdbe2032f4f9ba25681ac46aff210f Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <imuwoto@gmail.com>
Date: Sat, 27 May 2023 00:04:29 +0900
Subject: [PATCH] run-wasmtime-wasi-tests.sh: make this a bit
 toywasm-on-toywasm.py friendly

---
 test/run-wasmtime-wasi-tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/run-wasmtime-wasi-tests.sh b/test/run-wasmtime-wasi-tests.sh
index d0a1cfee..ad86cd49 100755
--- a/test/run-wasmtime-wasi-tests.sh
+++ b/test/run-wasmtime-wasi-tests.sh
@@ -36,7 +36,7 @@ if [ "${WASM_ON_WASM:-0}" -ne 0 ]; then
 else
     run_wasi_test()
     {
-        ${EXE} --wasi-dir ${TMP} ${w} ${TMP};
+        ${EXE} --wasi-dir=${TMP} -- ${w} ${TMP};
     }
     if ${EXE} --version | grep -F "sizeof(void *) = 4"; then
         SKIPLIST="${SKIPLIST} ${THIS_DIR}/wasmtime-wasi-tests-skip-32bit.txt"