Skip to main content
aboutsummaryrefslogtreecommitdiffstats
blob: 89580fdb5a52d67a02cf178d76482397383eed13 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
# JAVA_HOME must be set to the root of your JRE directory (JDK if you want to do javadoc)
# ECLIPSE_HOME must be set to the root of you Eclipse install that you want to do the build with
#    right now, this must be a 3.1.0 install (for PDE build scripts)

die() {
	echo $*
	exit 1
}

[ -n "$ECLIPSE_HOME" ] || die ECLIPSE_HOME not set

cd `dirname $0`

java -cp $ECLIPSE_HOME/startup.jar org.eclipse.core.launcher.Main -application org.eclipse.ant.core.antRunner $* 2>&1 | tee build.log

Back to the top