diff options
Diffstat (limited to '.ci')
-rwxr-xr-x | .ci/ci-make.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.ci/ci-make.sh b/.ci/ci-make.sh index 5611f5dca4..9d0574a5cf 100755 --- a/.ci/ci-make.sh +++ b/.ci/ci-make.sh @@ -22,6 +22,8 @@ if [ "$DISTRO" != "" ] ; then docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build fi elif [ "$TRAVIS_OS_NAME" = "osx" ]; then + latest_brew_python3_bin="$(ls -1d /usr/local/Cellar/python/3.*/bin | sort -n | tail -n1)" + export PATH="${latest_brew_python3_bin}${PATH:+:}${PATH}" export PATH="$(brew --prefix gettext)/bin:$PATH" ninja -C build else |