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