# HG changeset patch
# User wenzelm
# Date 1611754454 -3600
# Node ID d967f6643f5ee21fdc62389ab3a8f943dd2b600f
# Parent  45d8884dd2334bde73a97641178f61f765468b31
proper Isabelle environment (amending 31fbde3baa97);

diff -r 45d8884dd233 -r d967f6643f5e src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Jan 27 14:31:46 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Jan 27 14:34:14 2021 +0100
@@ -288,7 +288,7 @@
 
 declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/Isabelle.options"))
 
-"$ISABELLE_HOME/lib/scripts/java-gui-setup"
+"$ISABELLE_HOME/bin/isabelle" env "$ISABELLE_HOME/lib/scripts/java-gui-setup"
 
 exec "$ISABELLE_JDK_HOME/bin/java" \
   "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \