diff --git a/.travis.yml b/.travis.yml index 980b25ad1..b9a95c2a0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -23,6 +23,6 @@ env: - PROXY_STR=":hermit:M:7:\\x42::`pwd`/RWTH-OS/HermitCore/hermit/tools/proxy" - HERMIT_ISLE=qemu - HERMIT_CPUS=1 - - HERMIT_MEM="128M" + - HERMIT_MEM="512M" - HERMIT_KVM="0" #- HERMIT_VERBOSE="1" diff --git a/test.sh b/test.sh index c414b00b1..e5083788c 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" +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" PROXY=hermit/tools/proxy for f in $FILES; do echo "check $f..."; $PROXY $f || exit 1; done