summaryrefslogtreecommitdiff
path: root/.ci/ci-make-install.sh
diff options
context:
space:
mode:
Diffstat (limited to '.ci/ci-make-install.sh')
-rwxr-xr-x.ci/ci-make-install.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/.ci/ci-make-install.sh b/.ci/ci-make-install.sh
index 157f1a2401..0a4cea890a 100755
--- a/.ci/ci-make-install.sh
+++ b/.ci/ci-make-install.sh
@@ -14,8 +14,10 @@ if [ "$1" = "asan" ]; then
14fi 14fi
15if [ "$DISTRO" != "" ] ; then 15if [ "$DISTRO" != "" ] ; then
16 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build install 16 docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build install
17else 17elif [ "$TRAVIS_OS_NAME" = "osx" ]; then
18 export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH" 18 export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH"
19 ninja -C build install 19 ninja -C build install
20else
21 sudo ninja -C build install
20fi 22fi
21travis_endfold install 23travis_endfold install