diff options
Diffstat (limited to 'Tools/CI-linux-environment.sh')
| -rw-r--r-- | Tools/CI-linux-environment.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Tools/CI-linux-environment.sh b/Tools/CI-linux-environment.sh index e854c5b0e..3655108be 100644 --- a/Tools/CI-linux-environment.sh +++ b/Tools/CI-linux-environment.sh @@ -25,7 +25,11 @@ case "$SWIGLANG" in "ruby") if ! command -v rvm; then set +x - source $HOME/.rvm/scripts/rvm + if [ -f /etc/profile.d/rvm.sh ] ; then + source /etc/profile.d/rvm.sh + elif [ -f $HOME/.rvm/scripts/rvm ] ; then + source $HOME/.rvm/scripts/rvm + fi set -x fi ;; |