diff options
Diffstat (limited to '.ci/ci-make-check.sh')
| -rwxr-xr-x | .ci/ci-make-check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/ci-make-check.sh b/.ci/ci-make-check.sh index a55f8be020..4ecf5b5a38 100755 --- a/.ci/ci-make-check.sh +++ b/.ci/ci-make-check.sh @@ -13,7 +13,7 @@ fi travis_fold check "make check-TESTS" if [ "$DISTRO" != "" ] ; then for tries in 1 2 3 ; do - (docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make -j2 -C src/ check-TESTS) && break + (docker exec --env EINA_LOG_BACKTRACE="0" --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make -j2 -C src/ check-TESTS) && break docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) cat src/test-suite.log if [ $tries != 3 ] ; then echo "tests failed, trying again!" ; fi false |