Add a job to refresh projects when the index changes.
[egit/charleso.git] / make_jgit.sh
blob3889dcaf021cce082deb1f16094a8f4b1125be42
1 #!/bin/sh
3 PATH=$JAVA_HOME/bin:$PATH
4 O=jgit
5 T=".temp$$.$O"
7 rm -f $O
8 rm -rf $T $O+ org.spearce.jgit/bin2
9 cp org.spearce.jgit/lib/jsch-0.1.37.jar $T &&
10 mkdir org.spearce.jgit/bin2 &&
11 (cd org.spearce.jgit/src &&
12 find . -name \*.java -type f |
13 xargs javac \
14 -source 1.5 \
15 -target 1.5 \
16 -g \
17 -d ../bin2 \
18 -cp ../lib/jsch-0.1.37.jar) &&
19 jar uf $T -C org.spearce.jgit/bin2 . &&
20 jar uf $T -C org.spearce.jgit META-INF &&
21 sed s/@@use_self@@/1/ jgit.sh >$O+ &&
22 cat $T >>$O+ &&
23 chmod 555 $O+ &&
24 mv $O+ $O &&
25 echo "Created $O." &&
26 rm -rf $T $O+ org.spearce.jgit/bin2