#!/bin/sh
#
if [ ! -d "$JAVA_HOME" ]; then
JAVA=`which java`
BIN=`dirname $JAVA`
JAVA_HOME=${BIN%/*}
fi
"$JAVA_HOME/bin/java" -cp ./contrib/ant/ant.jar org.apache.tools.ant.Main $1 $2 $3