diff options
Diffstat (limited to 'libraries/spongycastle/build15+')
-rw-r--r-- | libraries/spongycastle/build15+ | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/libraries/spongycastle/build15+ b/libraries/spongycastle/build15+ deleted file mode 100644 index 81e8fc218..000000000 --- a/libraries/spongycastle/build15+ +++ /dev/null @@ -1,30 +0,0 @@ -#!/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 -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 - |