# HG changeset patch
# User wenzelm
# Date 1578751483 -3600
# Node ID aecea7c4bda108f46a09af97b808743152e54dfd
# Parent  ce3409dfb18c5f87d55f5fb1a151c49fa7b92e50
tuned;

diff -r ce3409dfb18c -r aecea7c4bda1 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri Jan 10 16:37:47 2020 +0100
+++ b/src/Pure/Admin/build_release.scala	Sat Jan 11 15:04:43 2020 +0100
@@ -509,13 +509,13 @@
             File.write(isabelle_target + Path.explode(isabelle_name + ".options"),
               terminate_lines(java_options_title :: java_options))
 
-            val isabelle_run = isabelle_target + Path.explode("lib/scripts/Isabelle_app")
-            File.write(isabelle_run,
+            val isabelle_app = isabelle_target + Path.explode("lib/scripts/Isabelle_app")
+            File.write(isabelle_app,
               File.read(Path.explode("~~/Admin/Linux/Isabelle_app"))
                 .replaceAllLiterally("{CLASSPATH}",
                   classpath.map("$ISABELLE_HOME/" + _).mkString(":"))
                 .replaceAllLiterally("/jdk/", "/" + jdk_component + "/"))
-            File.set_executable(isabelle_run, true)
+            File.set_executable(isabelle_app, true)
 
             val linux_app = isabelle_target + Path.explode("contrib/linux_app")
             File.move(linux_app + Path.explode("Isabelle"),