diff options
| author | Mike Blumenkrantz <zmike@samsung.com> | 2018-07-12 19:21:15 -0400 |
|---|---|---|
| committer | Stefan Schmidt <s.schmidt@samsung.com> | 2018-07-26 08:55:58 +0200 |
| commit | 0d750f7f581d763f4946516bb6416e924c48a5b2 (patch) | |
| tree | dfd60f1ceb7105ae5b6b617838ba0f2287dfdb83 /.ci | |
| parent | 1fd8af2364f7743f2478e92ff1808d616734ff40 (diff) | |
| download | efl-0d750f7f581d763f4946516bb6416e924c48a5b2.tar.gz | |
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')
| -rwxr-xr-x | .ci/ci-make.sh | 4 |
1 files changed, 4 insertions, 0 deletions
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 |