[jbosstools-issues] [JBoss JIRA] (JBIDE-24117) Webservices PR check build fails because JRE5 is not set

[ https://issues.jboss.org/browse/JBIDE-24117?page=com.atlassian.jira.plugi... ] Nick Boldt commented on JBIDE-24117: ------------------------------------ I've reopened https://github.com/jbosstools/jbosstools-webservices/pull/265 so that it can be rebuilt from https://dev-platform-jenkins.rhev-ci-vms.eng.rdu2.redhat.com/job/jbosstoo... -- new change to job config is as follows: {code} rm -f ${WORKSPACE}/jre.properties; touch ${WORKSPACE}/jre.properties if [[ ${JAVA18} ]] && [[ ${JAVA_HOME} ]]; then for d in 5 6 7 8; do # if a JDK $d is defined, use that instead of JAVA_HOME for the jre.$d variable theJAVA="JAVA1${d}" # eg., JAVA15; NOTE: could use OPENJDK6_HOME if preferred to Oracle JDK variables theJAVAvar=${!theJAVA} if [[ ${theJAVAvar} ]]; then echo "jbosstools.test.jre.${d}=${JAVA_HOME/${JAVA18}/${theJAVAvar}}" >> ${WORKSPACE}/jre.properties else echo "jbosstools.test.jre.${d}=${JAVA_HOME}" >> ${WORKSPACE}/jre.properties fi done elif [[ ${JAVA_HOME} ]]; then for d in 5 6 7 8; do echo "jbosstools.test.jre.${d}=${JAVA_HOME}" >> ${WORKSPACE}/jre.properties done fi echo "JBoss Tools test JRE properties:" cat ${WORKSPACE}/jre.properties{code} (see also JBIDE-23773) -- This message was sent by Atlassian JIRA (v7.2.3#72005)