diff --git a/.travis.yml b/.travis.yml index 4643342df..5923d0d00 100644 --- a/.travis.yml +++ b/.travis.yml @@ -36,7 +36,7 @@ env: - PATH=$PATH:/opt/hermit/bin/ - HERMIT_ISLE=qemu - HERMIT_CPUS=1 - - HERMIT_MEM="128M" + - HERMIT_MEM="512M" - HERMIT_KVM="0" - HERMIT_VERBOSE="1" - CFLAGS_FOR_TARGET="-m64 -O2 -ftree-vectorize" diff --git a/test.sh b/test.sh index 53c0038cd..1d7b51138 100644 --- a/test.sh +++ b/test.sh @@ -3,8 +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" -#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" PROXY=/opt/hermit/bin/proxy for f in $FILES; do echo "check $f..."; timeout --kill-after=3m 3m $PROXY $f || exit 1; done