| changeset 61294 | 2d3d26e9b191 |
| parent 59894 | ca16b657901f |
| child 66906 | 03a96b8c7c06 |
| 61293:876e7eae22be | 61294:2d3d26e9b191 |
|---|---|
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 -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@" |
17 -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@" |