summaryrefslogtreecommitdiff
path: root/.ci/ci-make.sh
diff options
context:
space:
mode:
authorMike Blumenkrantz <zmike@samsung.com>2018-07-12 19:21:15 -0400
committerStefan Schmidt <s.schmidt@samsung.com>2018-07-26 08:55:58 +0200
commit0d750f7f581d763f4946516bb6416e924c48a5b2 (patch)
treedfd60f1ceb7105ae5b6b617838ba0f2287dfdb83 /.ci/ci-make.sh
parent1fd8af2364f7743f2478e92ff1808d616734ff40 (diff)
ci: disable make on release builds
make is no longer required for distcheck, so stop doing 2 full tree builds on this build type fixes release builds on travis Differential Revision: https://phab.enlightenment.org/D6611
Diffstat (limited to '.ci/ci-make.sh')
-rwxr-xr-x.ci/ci-make.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh
index 8bd445f..988fb1c 100755
--- a/.ci/ci-make.sh
+++ b/.ci/ci-make.sh
@@ -2,6 +2,10 @@
2 2
3set -e 3set -e
4 4
5if [ "$1" = "release-ready" ] ; then
6 exit 0
7fi
8
5if [ "$DISTRO" != "" ] ; then 9if [ "$DISTRO" != "" ] ; then
6 docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make 10 docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make
7else 11else