diff options
Diffstat (limited to 'make/scripts/deploy-jars-repack200.sh')
-rwxr-xr-x | make/scripts/deploy-jars-repack200.sh | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/make/scripts/deploy-jars-repack200.sh b/make/scripts/deploy-jars-repack200.sh deleted file mode 100755 index 1169d63c3..000000000 --- a/make/scripts/deploy-jars-repack200.sh +++ /dev/null @@ -1,30 +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 - -rm -rf orig-jars -mkdir -p orig-jars - -for i in *.jar ; do - cp -a $i orig-jars - echo pack200 --repack $i - pack200 --repack $i -done - -cd $THISDIR - |