chiark / gitweb /
b2aa7213f07798013d65fb673270e0bde32527db
[jarrg-owen.git] / jpctb
1 #!/bin/bash -e
2 usage () { cat <<END
3 usage: .../jpctb /path/to/dir/with/PCTB*.jar /path/to/yohoho/yohoho [...]
4 END
5 }
6
7 jpctb_base="$0"
8 jpctb_base="${jpctb_base%/*}"
9
10 if [ $* -lt 2 ]; then usage >&2; exit 127; if
11
12 export JWRAP_EXTDIR="$1"; shift
13 export JWRAP_SCRIPT="$jpctb_base/jwrap-script-pctb"
14
15 if [ x"$LD_PRELOAD" != x ]; then LD_PRELOAD="$LD_PRELOAD:"; fi
16 export LD_PRELOAD="${LD_PRELOAD}$jpctb_base/libjwrap.so.1.0"
17
18 exec "$@"