2017-08-26 19:17:09 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
CWD=$(dirname "$0")
|
|
|
|
if [ "x$JAVA" = 'x' ]
|
|
|
|
then
|
|
|
|
JAVA=java
|
|
|
|
fi
|
|
|
|
|
2017-09-08 10:49:05 +00:00
|
|
|
if [ "x$BENCHMARKS" = 'x' ]
|
|
|
|
then
|
|
|
|
BENCHMARKS="$CWD/benchmarks.jar"
|
|
|
|
stat "$BENCHMARKS" >/dev/null 2>&1
|
|
|
|
if [ "x$?" != 'x0' ]
|
|
|
|
then
|
|
|
|
BENCHMARKS="$CWD/java/build/benchmarks.jar"
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [ "x$JBIGI" = 'x' ]
|
|
|
|
then
|
|
|
|
JBIGI="$CWD/jbigi.jar"
|
|
|
|
stat "$JBIGI" >/dev/null 2>&1
|
|
|
|
if [ "x$?" != 'x0' ]
|
|
|
|
then
|
|
|
|
JBIGI="$CWD/../build/jbigi.jar"
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
CLASSPATH="$BENCHMARKS"
|
2017-08-26 19:17:09 +00:00
|
|
|
if [ "x${1:-}" = 'x--jbigi' ]
|
|
|
|
then
|
|
|
|
CLASSPATH="$CLASSPATH:$JBIGI"
|
|
|
|
shift
|
|
|
|
fi
|
|
|
|
|
2017-09-08 10:49:05 +00:00
|
|
|
$JAVA -cp "$CLASSPATH" "$@"
|