blob: 470baf0784d1ef79253c0600d200f87d50777dc0 (
plain)
1
2
3
4
5
6
7
8
9
|
#!/bin/bash
JAR=/usr/share/java/tla2tools.jar
CP="$TLA_EXTRA_CLASSPATH"
if [ -z "$CP" ]; then
CP=$JAR
else
CP="$CP:$JAR"
fi
exec ${TLA_JAVA:-java} $TLA_JAVA_OPTS -classpath "$CP" "$@"
|