blob: 2cc6ee873f1b13849fb3f33582e27c2ad7284c80 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/bin/sh
set -e
. .ci/travis.sh
if [ "$1" = "release-ready" ] ; then
exit 0
fi
travis_fold make make
if [ "$BUILDSYSTEM" = "ninja" ] ; then
if [ "$DISTRO" != "" ] ; then
docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build
else
export PATH="$(brew --prefix gettext)/bin:$PATH"
ninja -C build
fi
else
if [ "$DISTRO" != "" ] ; then
docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make
else
export PATH="$(brew --prefix gettext)/bin:$PATH"
make
fi
fi
travis_endfold make
|
