diff --git a/bin/dm-ant b/bin/dm-ant new file mode 100755 index 0000000000000000000000000000000000000000..c9e6e2fc83bc3a460f23e72be1718b3aff84746b --- /dev/null +++ b/bin/dm-ant @@ -0,0 +1,21 @@ +#!/bin/sh + +# Run ant + +if [ -z $DM_ROOT_DIR ]; then + cd `dirname $0` && myDir=`pwd` + setupFile=$myDir/../../setup.sh + if [ ! -f $setupFile ]; then + echo "Cannot find setup file: $setupFile" + exit 1 + fi + source $setupFile +fi + +DM_HOST_ARCH=`uname | tr [A-Z] [a-z]`-`uname -m` +export JAVA_HOME=$DM_SUPPORT/java/$DM_HOST_ARCH +export ANT_HOME=$DM_SUPPORT/ant +export PATH=$ANT_HOME/bin:$PATH +ant $@ + +