Set HOME=/home/jenkins if not defined and that dir exists.

This commit is contained in:
Daniel Nichter
2012-12-07 13:54:56 -07:00
parent cfcfede0ef
commit fb3149b8be

View File

@@ -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. #
#####################################