2018-07-10 09:14:27 -07:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
set -e
|
2018-07-13 15:29:25 -07:00
|
|
|
. .ci/travis.sh
|
2018-07-12 16:21:15 -07:00
|
|
|
if [ "$1" = "release-ready" ] ; then
|
|
|
|
exit 0
|
|
|
|
fi
|
2018-07-13 15:29:25 -07:00
|
|
|
travis_fold make make
|
2018-07-10 09:14:27 -07:00
|
|
|
if [ "$DISTRO" != "" ] ; then
|
|
|
|
docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make
|
|
|
|
else
|
|
|
|
export PATH="$(brew --prefix gettext)/bin:$PATH"
|
|
|
|
make
|
|
|
|
fi
|
2018-07-13 15:29:25 -07:00
|
|
|
travis_endfold make
|