diff options
Diffstat (limited to '')
-rwxr-xr-x | infrastructure/bin/makejar.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infrastructure/bin/makejar.sh b/infrastructure/bin/makejar.sh index feace68..46b4609 100755 --- a/infrastructure/bin/makejar.sh +++ b/infrastructure/bin/makejar.sh @@ -32,11 +32,11 @@ fi TMPSTORE=/tmp/ajbuild-tmpstore-`date +%s` -JARFILES=`echo $SCALA_HOME/scala-library.jar lib/*.jar lib/manifest` +JARFILES=`echo $SCALA_LIBRARY_JAR lib/*.jar lib/manifest` function genjar { echo "unzipping JARs..." pushd $1 >> /dev/null - $JAR xf $SCALA_HOME/scala-library.jar + $JAR xf $SCALA_LIBRARY_JAR rm -rf META-INF for a in ../../lib/*.jar; do $JAR xf $a |