diff --git a/jenkins_build.sh b/jenkins_build.sh index 52c6b0fe..7a22d9ca 100755 --- a/jenkins_build.sh +++ b/jenkins_build.sh @@ -2,8 +2,16 @@ set +v DIR="$PWD" -source ~/bin/.profile +if [ -e /home/rmills/bin/.profile ]; then + source /home/rmills/bin/.profile +fi +if [ -e /Users/rmills/bin/.profile ]; then + source /Users/rmills/bin/.profile +fi cd "$DIR" +echo ---------------------- +export +echo ---------------------- if [ -z "$tests" ]; then tests=true; fi