summaryrefslogtreecommitdiff
path: root/.ci/ci-make-checkbuild.sh
diff options
context:
space:
mode:
Diffstat (limited to '.ci/ci-make-checkbuild.sh')
-rwxr-xr-x.ci/ci-make-checkbuild.sh12
1 files changed, 8 insertions, 4 deletions
diff --git a/.ci/ci-make-checkbuild.sh b/.ci/ci-make-checkbuild.sh
index 0fb77b1ffc..88ca687d42 100755
--- a/.ci/ci-make-checkbuild.sh
+++ b/.ci/ci-make-checkbuild.sh
@@ -9,10 +9,14 @@ if [ "$1" = "mingw" ] ; then
9 exit 0 9 exit 0
10fi 10fi
11travis_fold check-build "make check-build" 11travis_fold check-build "make check-build"
12if [ "$DISTRO" != "" ] ; then 12if [ "$BUILDSYSTEM" = "ninja" ] ; then
13 docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make check-build 13 echo "Nothing to do here"
14else 14else
15 export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH" 15 if [ "$DISTRO" != "" ] ; then
16 make check-build 16 docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make check-build
17 else
18 export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH"
19 make check-build
20 fi
17fi 21fi
18travis_endfold check-build 22travis_endfold check-build