make/scripts/deploy-jars-repack200.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

#! /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