File: ant

package info (click to toggle)
jing-trang 20241231-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 25,996 kB
  • sloc: xml: 102,906; java: 51,288; sh: 463; python: 158; makefile: 34
file content (15 lines) | stat: -rwxr-xr-x 407 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
#!/bin/sh
test -x "$JAVA_HOME/bin/java" || {
    cat <<EOF 1>&2
You must set JAVA_HOME environment variable to point to
the directory where your JDK is installed.
EOF
    exit 1
}
JING_TRANG_HOME=`dirname $0`
"$JAVA_HOME/bin/java" \
  "-Dant.home=$JING_TRANG_HOME" \
  -cp "$JING_TRANG_HOME/lib/ant-launcher.jar" \
  org.apache.tools.ant.launch.Launcher \
  -buildfile "$JING_TRANG_HOME/build.xml" \
  "$@"