| changeset 76343 | 6a6f650cc5a2 |
| parent 74041 | 6bf9f94198a7 |
| child 78591 | b1e0fb71435d |
--- a/lib/Tools/scala_build Wed Oct 19 16:01:07 2022 +0200 +++ b/lib/Tools/scala_build Thu Oct 20 14:59:39 2022 +0200 @@ -57,7 +57,7 @@ "$ISABELLE_HOME/lib/classes/Pure.shasum" \ "$ISABELLE_HOME/src/Tools/jEdit/dist" -classpath "$CLASSPATH"; unset CLASSPATH +classpath "$CLASSPATH"; export CLASSPATH="" eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"