blob: 25b9abc9ee62a1d96df5b3b097f205444faa0a4d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/bin/sh -
#
# build script for 1.5
#
# If it's given a buildname it creates a subdirectory and places a build in it,
# otherwise it just creates the docs and class files.
#
if [ "${JDKPATH}" = "" ]
then
JDKPATH=/usr/lib/jvm/java-7-openjdk-amd64
fi
JAVA_HOME=$JDKPATH
export JAVA_HOME
PATH=$JDKPATH/bin:$PATH
export PATH
if [ "$1" = "test" ]
then
ant -f ant/jdk15+.xml test
elif [ "$1" = "clean" ]
then
ant -f ant/jdk15+.xml clean
else
if ant -f ant/jdk15+.xml build-provider
then
ant -f ant/jdk15+.xml build
ant -f ant/jdk15+.xml zip-src
fi
fi
|