diff --git a/.travis.yml b/.travis.yml index ec89038c0..980b25ad1 100644 --- a/.travis.yml +++ b/.travis.yml @@ -25,4 +25,4 @@ env: - HERMIT_CPUS=1 - HERMIT_MEM="128M" - HERMIT_KVM="0" - - HERMIT_VERBOSE="1" + #- HERMIT_VERBOSE="1" diff --git a/test.sh b/test.sh index 26736e51b..c414b00b1 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 hermit/usr/tests/jacobi" +FILES="hermit/usr/tests/hello hermit/usr/tests/hellof hermit/usr/tests/hello++ hermit/usr/tests/thr_hello" PROXY=hermit/tools/proxy for f in $FILES; do echo "check $f..."; $PROXY $f || exit 1; done