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 71459 4876e6f62fe5
parent 71364 aecea7c4bda1
child 71542 e76692ec6e5a 
--- 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")
isabelle