equal
deleted
inserted
replaced
7 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
7 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)" |
8 |
8 |
9 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
9 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
10 unset CLASSPATH |
10 unset CLASSPATH |
11 |
11 |
12 isabelle_jdk java "${JAVA_ARGS[@]}" \ |
12 isabelle_java java "${JAVA_ARGS[@]}" \ |
13 -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@" |
13 -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@" |
14 |
14 |