| changeset 73988 | 678e1c9eb009 |
| parent 73987 | fc363a3b690a |
| child 73989 | 842fc354c031 |
--- a/bin/isabelle_java Thu Jul 15 16:35:45 2021 +0200 +++ b/bin/isabelle_java Thu Jul 15 17:33:06 2021 +0200 @@ -18,7 +18,7 @@ eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)" - isabelle_setup_classpath + classpath "$ISABELLE_SETUP_CLASSPATH" [ -n "$CLASSPATH" ] && classpath "$CLASSPATH"