diff --git a/buildconfig/Jenkins/jenkins-slave.sh b/buildconfig/Jenkins/jenkins-slave.sh index f9b8f1cbc3adc8b7553c90a22c703f58b4acfdb9..c116e59307b431fefdeafa551ea157c9ec0b99f4 100755 --- a/buildconfig/Jenkins/jenkins-slave.sh +++ b/buildconfig/Jenkins/jenkins-slave.sh @@ -85,7 +85,9 @@ else fi echo "starting ..." -JAVA=`which java` +if [ -z "${JAVA}" ]; then + JAVA=`which java` +fi JAVA_ARGS="${PROXY_ARGS} -jar ${JAR_FILE} -jnlpUrl ${SLAVE_AGENT_URL} -secret ${SECRET}" echo "${JAVA} ${JAVA_ARGS}" ${JAVA} ${JAVA_ARGS}