diff options
Diffstat (limited to '.ci/distcheck.sh')
-rwxr-xr-x | .ci/distcheck.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.ci/distcheck.sh b/.ci/distcheck.sh index afc4fe1835..8c8e7cdf97 100755 --- a/.ci/distcheck.sh +++ b/.ci/distcheck.sh | |||
@@ -70,10 +70,11 @@ travis_endfold check-build | |||
70 | travis_fold check-TESTS check-TESTS | 70 | travis_fold check-TESTS check-TESTS |
71 | set +e | 71 | set +e |
72 | export EINA_LOG_BACKTRACE="0" | 72 | export EINA_LOG_BACKTRACE="0" |
73 | for tries in 1 2 3 ; do | 73 | NUM_TRIES=5 |
74 | for tries in $(seq 1 ${NUM_TRIES}); do | ||
74 | make ${AM_MAKEFLAGS} -C src/ -j1 check-TESTS && break | 75 | make ${AM_MAKEFLAGS} -C src/ -j1 check-TESTS && break |
75 | cat src/test-suite.log | 76 | cat src/test-suite.log |
76 | if [ $tries != 3 ] ; then echo "tests failed, trying again!" ; continue ; fi | 77 | if [ $tries != ${NUM_TRIES} ] ; then echo "tests failed, trying again!" ; continue ; fi |
77 | exit 1 | 78 | exit 1 |
78 | done | 79 | done |
79 | travis_endfold check-TESTS | 80 | travis_endfold check-TESTS |