diff options
Diffstat (limited to 'make/scripts/deploy-jars-pack200.sh')
-rwxr-xr-x | make/scripts/deploy-jars-pack200.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/make/scripts/deploy-jars-pack200.sh b/make/scripts/deploy-jars-pack200.sh deleted file mode 100755 index 471e8ab7b..000000000 --- a/make/scripts/deploy-jars-pack200.sh +++ /dev/null @@ -1,33 +0,0 @@ -#! /bin/sh - -wsdir=$1 -shift - -if [ -z "$wsdir" ] ; then - echo usage $0 webstartdir - exit 1 -fi - -if [ ! -e $wsdir ] ; then - echo $wsdir does not exist - exit 1 -fi - -THISDIR=`pwd` - -cd $wsdir - -mkdir -p DLLS -mv *natives*.jar DLLS/ - -for i in *.jar ; do - echo pack200 -E9 $i.pack.gz $i - pack200 -E9 $i.pack.gz $i -done - -mv DLLS/* . - -rm -rf DLLS - -cd $THISDIR - |