changeset 73989 | 842fc354c031 |
parent 73988 | 678e1c9eb009 |
child 76343 | 6a6f650cc5a2 |
--- a/bin/isabelle_java Thu Jul 15 17:33:06 2021 +0200 +++ b/bin/isabelle_java Thu Jul 15 18:18:07 2021 +0200 @@ -19,8 +19,7 @@ eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)" classpath "$ISABELLE_SETUP_CLASSPATH" - - [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" + classpath "$CLASSPATH" echo "$ISABELLE_ROOT" echo "$CYGWIN_ROOT"