source: trunk/DEVEL.sh.in@ 514

which javac 2>&1 >/dev/null

if [ $? != 0 ] ; then
  export JAVA_HOME="**Replace with your value for JAVA home**"
  export PATH=$JAVA_HOME/bin/:$PATH

  echo "+ Set JAVA_HOME to $JAVA_HOME and updated path"
fi


which ant 2>&1 >/dev/null
if [ $? != 0 ] ; then
  export ANT_HOME="**Relplace with your value for ANT home**"
  export PATH=$ANT_HOME/bin/:$PATH

  echo "+ Set ANT_HOME to $ANT_HOME and updated path"
fi

echo "-----"
echo "To create an Expeditee distribution, type:"
echo ""
echo "  ant fresh_dist_exp"
echo ""
echo "or:"
echo "  ant fresh_dist_apollo"

echo ""