diff --git a/test.sh b/test.sh index c29469b81..802cc4647 100644 --- a/test.sh +++ b/test.sh @@ -6,7 +6,7 @@ FILES="usr/tests/hello usr/tests/hellof usr/tests/hello++ usr/tests/thr_hello usr/tests/pi usr/benchmarks/stream usr/benchmarks/basic" PROXY=/opt/hermit/bin/proxy -for f in $FILES; do echo "check $f..."; $PROXY $f || exit 1; done +for f in $FILES; do echo "check $f..."; timeout -k 180s $PROXY $f || exit 1; done # test echo server at port 8000 #HERMIT_APP_PORT=8000 $PROXY usr/tests/server &