diff options
| author | Mike Blumenkrantz <zmike@samsung.com> | 2018-07-13 18:31:03 -0400 |
|---|---|---|
| committer | Stefan Schmidt <s.schmidt@samsung.com> | 2018-07-26 08:55:59 +0200 |
| commit | 5e9b5d315a921f54fa36a1cab921dbe2c166a0b7 (patch) | |
| tree | 0062287b11d5cadf789801a3b38bfb63eb7f61e0 /.travis.yml | |
| parent | c06be53b0389a2c5d4d8cad89e53dbfe184b4298 (diff) | |
| download | efl-5e9b5d315a921f54fa36a1cab921dbe2c166a0b7.tar.gz | |
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.yml | 1 |
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: .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE" fi - .ci/ci-make-install.sh "$CI_BUILD_TYPE" + - .ci/ci-make-check.sh "$CI_BUILD_TYPE" - .ci/ci-make-distcheck.sh "$CI_BUILD_TYPE" - | if [[ "$DISTRO" == "" ]] && [[ "$TRAVIS_OS_NAME" != "linux" ]] ; then |