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}
24 GZIP=-9v tar --exclude=\*{~,.tar.gz,.exe} --exclude='#*#' \
25 --transform='s/^./jpctb/' --exclude=jpctb/{src/build,tmp} \
28 files='jpctb.tar.gz jpctb-setup.exe'
35 pubbase="${JPCTB_PUBLISH_BASE-login.chiark.greenend.org.uk}"
36 pubdir="${JPCTB_PUBLISH_DIR-/home/yarrgweb/public-html/download/jpctb}"
37 revision=`git describe --always`
41 RSYNC_RSH=ssh rsync -vP $files $pubbase:$pubdir/$revision/