summaryrefslogtreecommitdiff
path: root/.ci/ci-make-check.sh
diff options
context:
space:
mode:
authorMike Blumenkrantz <zmike@samsung.com>2018-07-20 11:26:05 -0400
committerStefan Schmidt <s.schmidt@samsung.com>2018-07-30 17:40:57 +0200
commit0dc35fe8b3dd0dda40656b728504219940c9d13c (patch)
treeb84291b56cc6f8134c25ea7d35357af088eec5d3 /.ci/ci-make-check.sh
parentbc0d74c28172de9b19e1622a886ef58e9625dba5 (diff)
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.sh4
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
13travis_fold check "make check-TESTS" 13travis_fold check "make check-TESTS"
14if [ "$DISTRO" != "" ] ; then 14if [ "$DISTRO" != "" ] ; then
15 for tries in 1 2 3 ; do 15 for tries in 1 2 3 ; do
16 (docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make -j2 -C src/ check-TESTS) && break 16 (docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make -j2 -C src/ check-TESTS) && break
17 docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) cat src/test-suite.log 17 docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) cat src/test-suite.log
18 if [ $tries != 3 ] ; then echo "tests failed, trying again!" ; fi 18 if [ $tries != 3 ] ; then echo "tests failed, trying again!" ; fi
19 false 19 false
20 done 20 done