diff --git a/tests.sh b/tests.sh index e0cb033fd..4de8ce0da 100755 --- a/tests.sh +++ b/tests.sh @@ -9,6 +9,8 @@ PROXY=build/local_prefix/work/hermit/bin/proxy #for f in $FILES; do echo "check $f..."; HERMIT_ISLE=qemu HERMIT_CPUS=1 HERMIT_VERBOSE=1 timeout --kill-after=5m 5m $PROXY $f || exit 1; done +pwd +ls -la $TDIR # test echo server at port 8000 HERMIT_ISLE=qemu HERMIT_CPUS=1 HERMIT_VERBOSE=1 HERMIT_APP_PORT=8000 $PROXY $TDIR/tests/server & sleep 10