mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

madiot
17.08.2009 b902bffbdd9d0c43e89cf7b8b32d1b29a513ae16
opends/tests/staf-tests/build
@@ -48,5 +48,7 @@
ANT_LIB=$OPENDS_LIB/mail.jar:$OPENDS_LIB/activation.jar
ANT_HOME=`cd ../..;pwd`/ext/ant
export ANT_HOME
ANT_OPTS="-Xmx1g"
export ANT_OPTS
# Execute the ant script and pass it any additional command-line arguments.
$ANT_HOME/bin/ant -lib ${ANT_LIB} -f shared/ant/build.xml ${*}