From fb3149b8be800af1e75b55b52be2f2a35c5550f8 Mon Sep 17 00:00:00 2001
From: Daniel Nichter <daniel@percona.com>
Date: Fri, 7 Dec 2012 13:54:56 -0700
Subject: [PATCH] Set HOME=/home/jenkins if not defined and that dir exists.

---
 sandbox/jenkins-test | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/sandbox/jenkins-test b/sandbox/jenkins-test
index 57f2ce8a..da53af20 100755
--- a/sandbox/jenkins-test
+++ b/sandbox/jenkins-test
@@ -16,9 +16,22 @@ set -x
 ##################################
 # Check for needed Perl modules. #
 ##################################
-env
 util/check-dev-env
 
+#########################
+# Check the system env. #
+#########################
+env
+if [ -z "$HOME" ]; then
+   if [ -d "/home/jenkins" ]; then
+      HOME="/home/jenkins"
+      echo "\$HOME not defined, using $HOME"
+   else
+      echo "\$HOME not defined and /home/jenkins does not exist"
+      exit 1
+   fi
+fi
+
 #####################################
 # Install barebones MySQL binaries. #
 #####################################