Searched refs:JHOME (Results 1 – 1 of 1) sorted by relevance
38 JHOME=`dirname $1`39 JHOME=`dirname $JHOME`43 echo "JAVA_HOME=$JHOME" >> $FILE