summaryrefslogtreecommitdiff
path: root/.ci/ci-make-check.sh
diff options
context:
space:
mode:
Diffstat (limited to '.ci/ci-make-check.sh')
-rwxr-xr-x.ci/ci-make-check.sh6
1 files changed, 4 insertions, 2 deletions
diff --git a/.ci/ci-make-check.sh b/.ci/ci-make-check.sh
index 4ecf5b5a38..edb1752810 100755
--- a/.ci/ci-make-check.sh
+++ b/.ci/ci-make-check.sh
@@ -10,12 +10,14 @@ if [ "$1" = "misc" ] || [ "$1" = "misc-disabled" ] ; then
10 exit 0 10 exit 0
11fi 11fi
12 12
13NUM_TRIES=5
14
13travis_fold check "make check-TESTS" 15travis_fold check "make check-TESTS"
14if [ "$DISTRO" != "" ] ; then 16if [ "$DISTRO" != "" ] ; then
15 for tries in 1 2 3 ; do 17 for tries in $(seq 1 ${NUM_TRIES}); do
16 (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 18 (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
17 docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) cat src/test-suite.log 19 docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) cat src/test-suite.log
18 if [ $tries != 3 ] ; then echo "tests failed, trying again!" ; fi 20 if [ $tries != ${NUM_TRIES} ] ; then echo "tests failed, trying again!" ; fi
19 false 21 false
20 done 22 done
21#else 23#else