diff --git a/test.sh b/test.sh index e5083788c..dfb7ef454 100644 --- a/test.sh +++ b/test.sh @@ -3,7 +3,7 @@ # do not use this script # it is written only for internal tests via Travis CI -FILES="hermit/usr/tests/hello hermit/usr/tests/hellof hermit/usr/tests/hello++ hermit/usr/tests/thr_hello hermit/usr/benchmarks/stream hermit/usr/benchmarks/basic" +FILES="hermit/usr/tests/hello hermit/usr/tests/hellof hermit/usr/tests/hello++ hermit/usr/tests/thr_hello hermit/usr/tests/pi hermit/usr/benchmarks/stream hermit/usr/benchmarks/basic" PROXY=hermit/tools/proxy for f in $FILES; do echo "check $f..."; $PROXY $f || exit 1; done