Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper Isabelle environment (amending 31fbde3baa97);
authorwenzelm
Wed, 27 Jan 2021 14:34:14 +0100
changeset 73197 d967f6643f5e
parent 73196 45d8884dd233
child 73198 a9eaf8c3b728
proper Isabelle environment (amending 31fbde3baa97);
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- 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[@]}" \
isabelle