diff options
Diffstat (limited to '.ci/ci-make-install.sh')
-rwxr-xr-x | .ci/ci-make-install.sh | 4 |
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 fi if [ "$DISTRO" != "" ] ; then docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build install -else +elif [ "$TRAVIS_OS_NAME" = "osx" ]; then export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH" ninja -C build install +else + sudo ninja -C build install fi travis_endfold install |