diff options
Diffstat (limited to 'Tools')
| -rw-r--r-- | Tools/CI-linux-install.sh | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/Tools/CI-linux-install.sh b/Tools/CI-linux-install.sh index fb3e57de9..456f5bc42 100644 --- a/Tools/CI-linux-install.sh +++ b/Tools/CI-linux-install.sh @@ -131,12 +131,16 @@ case "$SWIGLANG" in source $HOME/.rvm/scripts/rvm set -x fi - if [[ "$VER" == "2.7" || "$VER" == "3.0" ]]; then - # Ruby 2.7+ support is currently only rvm master (30 Dec 2019) - $RETRY rvm get master - rvm reload - rvm list known - fi + case "$VER" in + 2.7 | 3.0 | 3.1 ) + # Ruby 2.7+ support is currently only rvm master (30 Dec 2019) + set +x + $RETRY rvm get master + rvm reload + rvm list known + set -x + ;; + esac if [[ "$VER" ]]; then $RETRY rvm install $VER fi |