From 92c5fb6a8cb05d445bb31384ca3ebe5374da8766 Mon Sep 17 00:00:00 2001
From: Robin Mills <robin@clanmills.com>
Date: Tue, 19 Aug 2014 13:57:14 +0000
Subject: [PATCH] jenkins testing

---
 jenkins_build.sh | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

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