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_jdk.scala
changeset 69395 d1c4a1dee9e7
parent 69367 34b7550b66c7
child 69402 61f4c406d727 
--- a/src/Pure/Admin/build_jdk.scala	Mon Dec 03 15:15:54 2018 +0100
+++ b/src/Pure/Admin/build_jdk.scala	Mon Dec 03 20:04:48 2018 +0100
@@ -163,7 +163,7 @@
         val component_dir = dir + jdk_path
 
         Isabelle_System.mkdirs(component_dir + Path.explode("etc"))
-        File.write(component_dir + Path.explode("etc/settings"), settings)
+        File.write(Components.settings(component_dir), settings)
         File.write(component_dir + Path.explode("README"), readme(version))
 
         for ((_, platform) <- extracted)
isabelle