| changeset 36212 | ebfa4bb0d50f |
| parent 29143 | 72c960b2b83e |
| child 36238 | 344377ce2e0a |
| 36211:27137425b102 | 36212:ebfa4bb0d50f |
|---|---|
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: invoke Java within the Isabelle environment |
5 # DESCRIPTION: invoke Java within the Isabelle environment |
6 |
6 |
7 CLASSPATH="$(jvmpath "$CLASSPATH")" |
7 CLASSPATH="$(jvmpath "$CLASSPATH")" |
8 exec "$ISABELLE_JAVA" "$@" |
8 exec "${THIS_JAVA:-ISABELLE_JAVA}" "$@" |