3 # We don't supply a Makefile. Instead, we just supply this shell script.
9 *.-*) echo >&2 'no options allowed'; exit 1;;
10 *) echo >&2 'no arguments allowed'; exit 1;;
13 : ${JAVA_HOME:=/usr/lib/jvm/java-6-sun}
16 (set -e; cd src; ant -f PCTB.xml)
22 GZIP=-9v tar --exclude=\*{~,.tar.gz,.exe} --exclude='#*#' \
23 --transform='s/^./jpctb/' --exclude=jpctb/{src/build,tmp} \
26 files='jpctb.tar.gz jpctb-setup.exe'
33 pubbase="${JPCTB_PUBLISH_BASE-login.chiark.greenend.org.uk}"
34 pubdir="${JPCTB_PUBLISH_DIR-/home/yarrgweb/public-html/jpctb}"
35 revision=`git describe --always`
39 RSYNC_RSH=ssh rsync -vP $files $pubbase:$pubdir/$revision/