* Only source /etc/profile.d/rvm.sh if it exists and is a regular file
[arvados.git] / jenkins /
drwxr-xr-x   ..
-rwxr-xr-x 14788 run-build-packages.sh
-rwxr-xr-x 6216 run-deploy.sh
-rwxr-xr-x 1660 run-diagnostics-suite.sh
-rwxr-xr-x 2243 run-docker-tests.sh
-rwxr-xr-x 1030 run-tapestry-tests.sh
-rwxr-xr-x 16377 run-tests.sh