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

.ci/ci-make-check.sh

@@ -0,0 +1,29 @@
+#!/bin/sh -x
+
+. .ci/travis.sh
+if [ "$1" = "release-ready" ] ; then
+  exit 0
+fi
+travis_fold check "make check"
+if [ "$DISTRO" != "" ] ; then
+  for tries in 1 2 3 ; do
+    (docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make -j2 check) && break
+    docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) cat src/test-suite.log
+    if [ $tries != 3 ] ; then echo "tests failed, trying again!" ; fi
+    false
+  done
+else
+  export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH"
+  for tries in 1 2 3 ; do
+    make -j2 check && break
+    cat src/test-suite.log
+    if [ $tries != 3 ] ; then echo "tests failed, trying again!" ; fi
+    false
+  done
+  #all tests fail all the time currently
+  true
+fi
+ret=$?
+travis_endfold check
+
+exit $ret

.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