From 0d750f7f581d763f4946516bb6416e924c48a5b2 Mon Sep 17 00:00:00 2001 From: Mike Blumenkrantz Date: Thu, 12 Jul 2018 19:21:15 -0400 Subject: [PATCH] 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 --- .ci/ci-make.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh index 8bd445f276..988fb1c109 100755 --- a/.ci/ci-make.sh +++ b/.ci/ci-make.sh @@ -2,6 +2,10 @@ set -e +if [ "$1" = "release-ready" ] ; then + exit 0 +fi + if [ "$DISTRO" != "" ] ; then docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make else