#-- Java -- if [ "x$JAVA_HOME" = "x" ] ; then export JAVA_HOME=/data/java/jdk1.6.0_21 #export JAVA_HOME=/research/local/jdk-64bit-1.7 export PATH=$JAVA_HOME/bin:$PATH echo "+ Setting JAVA_HOME to" echo "+ $JAVA_HOME" echo "+ and updating PATH accordingly" else if [ ! -d $JAVA_HOME ] ; then echo "Warning: JAVA_HOME already set, but the directory:" echo " $JAVA_HOME" echo "Cannot be found" echo "=====" sleep 5 fi fi #-- Ant -- if [ "x$ANT_HOME" = "x" ] ; then export ANT_HOME=`pwd`/apache-ant-1.8.1 export PATH=$ANT_HOME/bin:$PATH echo "+ Setting ANT_HOME to:" echo "+ $ANT_HOME" echo "+ and updating PATH accordingly" fi