.github: set specific version of pyenv so pyenv upstream doesn't break our CI

4 years ago · f790a66781
1 changed files with 4 additions and 0 deletions
--- a/Tools/environment_install/install-prereqs-mac.sh
+++ b/Tools/environment_install/install-prereqs-mac.sh
@ -109,6 +109,10 @@ if maybe_prompt_user "Install python using pyenv [N/y]?" ; then
        echo "Installing pyenv"
        curl https://pyenv.run | bash
        pushd $HOME/.pyenv
        git fetch --tags
        git checkout v2.0.4
        popd
        exportline="export PYENV_ROOT=\$HOME/.pyenv"
        echo $exportline >> ~/$SHELL_LOGIN
        exportline="export PATH=\$PYENV_ROOT/bin:\$PATH"