diff --git a/.travis.yml b/.travis.yml index 9708ef723..4643342df 100644 --- a/.travis.yml +++ b/.travis.yml @@ -1,5 +1,6 @@ sudo: required dist: trusty +cache: ccache git: submodules: false language: c @@ -35,7 +36,7 @@ env: - PATH=$PATH:/opt/hermit/bin/ - HERMIT_ISLE=qemu - HERMIT_CPUS=1 - - HERMIT_MEM="512M" + - HERMIT_MEM="128M" - HERMIT_KVM="0" - HERMIT_VERBOSE="1" - CFLAGS_FOR_TARGET="-m64 -O2 -ftree-vectorize" diff --git a/test.sh b/test.sh index 1d7b51138..53c0038cd 100644 --- a/test.sh +++ b/test.sh @@ -3,7 +3,8 @@ # 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" +#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