#! /bin/sh

if [ "$ANT_HOME" = "" ] ; then
  ANT_HOME=../../jakarta-ant
fi

args=""
if [ "$SERVLET_JAR" != "" ] ; then
  args="$args -Dservlet.jar=$SERVLET_JAR"
fi
args="$args -Dant.home=$ANT_HOME"

cp=$ANT_HOME/lib/ant.jar:$ANT_HOME/lib/xml.jar:$JAVA_HOME/lib/tools.jar

java -classpath $cp:$CLASSPATH org.apache.tools.ant.Main $args "$@"