File: build11.sh

package info (click to toggle)
jdom 0.7b.20020216-4
  • links: PTS
  • area: main
  • in suites: woody
  • size: 4,412 kB
  • ctags: 1,262
  • sloc: java: 9,200; xml: 587; sh: 59; makefile: 49; perl: 31
file content (23 lines) | stat: -rwxr-xr-x 522 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
#!/bin/sh

if [ "$JAVA_HOME" = "" ] ; then
  echo "ERROR: JAVA_HOME not found in your environment."
  echo
  echo "Please, set the JAVA_HOME variable in your environment to match the"
  echo "location of the Java Virtual Machine you want to use."
  exit 1
fi

if [ `echo $OSTYPE | grep -n cygwin` ]; then
  PS=";"
else
  PS=":"
fi

ADDITIONALCLASSPATH=$JAVA_HOME/lib/classes.zip${PS}$JAVA_HOME/lib/rt.jar${PS}./lib/collections.jar
export ADDITIONALCLASSPATH

./build.sh $*

ADDITIONALCLASSPATH=
export ADDITIONALCLASSPATH