test/run-wasi-testsuite.sh: fix a typo

yamt · Dec 18, 2023 · 01f2704 · 01f2704
1 parent 87229cf
commit 01f2704
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/run-wasi-testsuite.sh b/test/run-wasi-testsuite.sh
@@ -24,7 +24,7 @@ FILTER_OPTIONS="--exclude-filter test/wasi-testsuite-skip.json"
 if ${TOYWASM} --version | grep -F "sizeof(void *) = 4"; then
     FILTER_OPTIONS="${FILTER_OPTIONS} test/wasi-testsuite-skip-32bit.json"
 fi
-OS_SKIPFILE="test/wasi-testsuite-skip-$(uname -s).txt"
+OS_SKIPFILE="test/wasi-testsuite-skip-$(uname -s).json"
 if [ -f ${OS_SKIPFILE} ]; then
     FILTER_OPTIONS="${FILTER_OPTIONS} ${OS_SKIPFILE}"
 fi