Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_release.scala
changeset 71363 ce3409dfb18c
parent 71338 373dcdd363dc
child 71364 aecea7c4bda1 
--- a/src/Pure/Admin/build_release.scala	Fri Jan 10 15:42:13 2020 +0100
+++ b/src/Pure/Admin/build_release.scala	Fri Jan 10 16:37:47 2020 +0100
@@ -509,10 +509,9 @@
             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_name + ".run")
+            val isabelle_run = isabelle_target + Path.explode("lib/scripts/Isabelle_app")
             File.write(isabelle_run,
-              File.read(Path.explode("~~/Admin/Linux/Isabelle.run"))
+              File.read(Path.explode("~~/Admin/Linux/Isabelle_app"))
                 .replaceAllLiterally("{CLASSPATH}",
                   classpath.map("$ISABELLE_HOME/" + _).mkString(":"))
                 .replaceAllLiterally("/jdk/", "/" + jdk_component + "/"))
isabelle