chiark / gitweb /
c50b43baaed84e476373a57e34db8b99fd39cce4
[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; fi
11
12 export JWRAP_EXTDIR="$1"; shift
13 export JWRAP_SCRIPT="$jpctb_base/jwrap-script-jpctb"
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 "$@"