| changeset 69126 | e1b4b14ded58 |
| parent 67490 | 982f0bf34804 |
| child 71882 | f92c7e2ba8da |
| 69125:60b6c759134f | 69126:e1b4b14ded58 |
|---|---|
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 isabelle_scala scala "${SCALA_ARGS[@]}" \ |
16 isabelle_scala scala "${SCALA_ARGS[@]}" \ |
17 "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \ |
|
18 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |
17 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |