diff options
| author | Mike Blumenkrantz <zmike@samsung.com> | 2018-07-20 11:26:05 -0400 |
|---|---|---|
| committer | Stefan Schmidt <s.schmidt@samsung.com> | 2018-07-30 17:40:57 +0200 |
| commit | 0dc35fe8b3dd0dda40656b728504219940c9d13c (patch) | |
| tree | b84291b56cc6f8134c25ea7d35357af088eec5d3 /.ci/ci-make-check.sh | |
| parent | bc0d74c28172de9b19e1622a886ef58e9625dba5 (diff) | |
| download | efl-0dc35fe8b3dd0dda40656b728504219940c9d13c.tar.gz | |
ci: disable built-in make rules and variables
these slow down build times and don't benefit us
Differential Revision: https://phab.enlightenment.org/D6651
Diffstat (limited to '.ci/ci-make-check.sh')
| -rwxr-xr-x | .ci/ci-make-check.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.ci/ci-make-check.sh b/.ci/ci-make-check.sh index 38e00c1ac6..a753b156ef 100755 --- a/.ci/ci-make-check.sh +++ b/.ci/ci-make-check.sh @@ -13,8 +13,8 @@ fi travis_fold check "make check-TESTS" 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 -C src/ check-TESTS) && break - docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) cat src/test-suite.log + (docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make -j2 -C src/ check-TESTS) && break + docker exec --env MAKEFLAGS="-j5 -rR" --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 |