diff --git a/test.sh b/test.sh index e11f463c1..af1095878 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="usr/tests/hello usr/tests/hellof usr/tests/hello++ usr/tests/thr_hello usr/tests/pi usr/benchmarks/stream usr/benchmarks/basic" +FILES="usr/tests/hello usr/tests/hellof usr/tests/hello++ usr/tests/thr_hello usr/tests/pi usr/benchmarks/stream usr/benchmarks/basic usr/tests/signals usr/tests/jacobi" PROXY=/opt/hermit/bin/proxy for f in $FILES; do echo "check $f..."; timeout --kill-after=5m 5m $PROXY $f || exit 1; done