diff options
Diffstat (limited to 'deployment/deploy-jars-repack200.sh')
-rwxr-xr-x | deployment/deploy-jars-repack200.sh | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/deployment/deploy-jars-repack200.sh b/deployment/deploy-jars-repack200.sh deleted file mode 100755 index 1169d63..0000000 --- a/deployment/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 - |