# HG changeset patch
# User wenzelm
# Date 1582123228 -3600
# Node ID 4876e6f62fe57908430a79baf0f3fd4582e40686
# Parent  dd7e398a04ae351b88a546d591fd99f490d9f762
proper file name (amending ce3409dfb18c);

diff -r dd7e398a04ae -r 4876e6f62fe5 Admin/Linux/Isabelle_app
--- a/Admin/Linux/Isabelle_app	Tue Feb 18 18:08:11 2020 +0100
+++ b/Admin/Linux/Isabelle_app	Wed Feb 19 15:40:28 2020 +0100
@@ -12,8 +12,7 @@
 
 # Java runtime options
 
-ISABELLE_NAME="$(basename "$0" .run)"
-declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options"))
+declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/Isabelle.options"))
 
 
 # main
diff -r dd7e398a04ae -r 4876e6f62fe5 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Feb 18 18:08:11 2020 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Feb 19 15:40:28 2020 +0100
@@ -506,7 +506,7 @@
 
         platform match {
           case Platform.Family.linux =>
-            File.write(isabelle_target + Path.explode(isabelle_name + ".options"),
+            File.write(isabelle_target + Path.explode("Isabelle.options"),
               terminate_lines(java_options_title :: java_options))
 
             val isabelle_app = isabelle_target + Path.explode("lib/scripts/Isabelle_app")