test: provide stdin by ourselves

to workaround github runners stdin issues
yamt · Apr 17, 2023 · 570e670 · 570e670
1 parent e7ed965
commit 570e670
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/test/pipe.py b/test/pipe.py
@@ -0,0 +1,10 @@
+#! /usr/bin/env python3
+
+# keep stdout open until the peer closes it
+
+import sys
+import select
+
+p = select.poll()
+p.register(sys.stdout, select.POLLHUP)
+p.poll(-1)
diff --git a/test/run-wasi-testsuite.sh b/test/run-wasi-testsuite.sh
@@ -36,6 +36,7 @@ done
 virtualenv venv
 . ./venv/bin/activate
 python3 -m pip install -r ${DIR}/test-runner/requirements.txt
+python3 test/pipe.py |
 python3 ${DIR}/test-runner/wasi_test_runner.py \
 -t ${TESTDIRS} \
 ${FILTER_OPTIONS} \