summaryrefslogtreecommitdiff
path: root/.travis.yml
diff options
context:
space:
mode:
authorMike Blumenkrantz <zmike@samsung.com>2018-07-13 18:31:03 -0400
committerStefan Schmidt <s.schmidt@samsung.com>2018-07-26 08:55:59 +0200
commit5e9b5d315a921f54fa36a1cab921dbe2c166a0b7 (patch)
tree0062287b11d5cadf789801a3b38bfb63eb7f61e0 /.travis.yml
parentc06be53b0389a2c5d4d8cad89e53dbfe184b4298 (diff)
ci: run make check in build
this adds a script to run make check after the build has finished, repeating tests 3 times to try and reduce false positives from intermittent failure tests ref T7094 Differential Revision: https://phab.enlightenment.org/D6617
Diffstat (limited to '.travis.yml')
-rw-r--r--.travis.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml
index 498bce551f..fa61e42884 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -100,6 +100,7 @@ script:
100 .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE" 100 .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE"
101 fi 101 fi
102 - .ci/ci-make-install.sh "$CI_BUILD_TYPE" 102 - .ci/ci-make-install.sh "$CI_BUILD_TYPE"
103 - .ci/ci-make-check.sh "$CI_BUILD_TYPE"
103 - .ci/ci-make-distcheck.sh "$CI_BUILD_TYPE" 104 - .ci/ci-make-distcheck.sh "$CI_BUILD_TYPE"
104 - | 105 - |
105 if [[ "$DISTRO" == "" ]] && [[ "$TRAVIS_OS_NAME" != "linux" ]] ; then 106 if [[ "$DISTRO" == "" ]] && [[ "$TRAVIS_OS_NAME" != "linux" ]] ; then