diff options
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/build.sh b/build.sh deleted file mode 100755 index 23e644ab3..000000000 --- a/build.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/sh - -echo -echo "Fop Build System" -echo "----------------" -echo - -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 - -LOCALCLASSPATH=$JAVA_HOME/lib/tools.jar:$JAVA_HOME/lib/classes.zip:./lib/ant.jar:./lib/xml.jar:./lib/w3c.jar:./lib -ANT_HOME=./lib - -echo Building with classpath $CLASSPATH:$LOCALCLASSPATH -echo - -echo Starting Ant... -echo - -$JAVA_HOME/bin/java -Dant.home=$ANT_HOME -classpath "$LOCALCLASSPATH:$CLASSPATH" org.apache.tools.ant.Main $* |