equal
deleted
inserted
replaced
11 for ARG in "${JAVA_ARGS[@]}" |
11 for ARG in "${JAVA_ARGS[@]}" |
12 do |
12 do |
13 SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG" |
13 SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG" |
14 done |
14 done |
15 |
15 |
|
16 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
|
17 unset CLASSPATH |
|
18 |
16 isabelle_scala scala "${SCALA_ARGS[@]}" \ |
19 isabelle_scala scala "${SCALA_ARGS[@]}" \ |
17 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |
20 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" \ |
|
21 -Disabelle.scala.classpath="$(platform_path "$ISABELLE_CLASSPATH")" "$@" |