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.
tuned;
authorwenzelm
Sat, 11 Jan 2020 15:04:43 +0100
changeset 71364 aecea7c4bda1
parent 71363 ce3409dfb18c
child 71365 462f341407b4
tuned;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- 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"),
isabelle