# HG changeset patch
# User wenzelm
# Date 1626372683 -7200
# Node ID 3868fed3c34bb4c5c42d3e0f77c252bc52f24510
# Parent  fecbf83ab2813ec272f1e1c7d37a36cb983fe237
more robust;

diff -r fecbf83ab281 -r 3868fed3c34b Admin/build
--- a/Admin/build	Thu Jul 15 19:51:01 2021 +0200
+++ b/Admin/build	Thu Jul 15 20:11:23 2021 +0200
@@ -70,7 +70,7 @@
     "$ISABELLE_HOME/lib/classes/Pure.jar" \
     "$ISABELLE_HOME/lib/classes/Pure.shasum" \
     "$ISABELLE_HOME/src/Tools/jEdit/dist"
-  "$ISABELLE_TOOL" java isabelle.setup.Setup "$@"
+  env ISABELLE_SETUP_CLASSPATH_SKIP=true "$ISABELLE_TOOL" java isabelle.setup.Setup "$@"
 }
 
 
diff -r fecbf83ab281 -r 3868fed3c34b lib/Tools/java
--- a/lib/Tools/java	Thu Jul 15 19:51:01 2021 +0200
+++ b/lib/Tools/java	Thu Jul 15 20:11:23 2021 +0200
@@ -6,7 +6,11 @@
 
 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
 
-classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH
+if [ -z "$ISABELLE_SETUP_CLASSPATH_SKIP" -o "$ISABELLE_SETUP_CLASSPATH_SKIP" = "false" ]
+then
+  classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH
+fi
+
 classpath "$CLASSPATH"; unset CLASSPATH
 
 isabelle_java java "${JAVA_ARGS[@]}" \