# HG changeset patch
# User wenzelm
# Date 1711621765 -3600
# Node ID a213dd3c0b29002acaa949c07534b20f44e3a2a2
# Parent  19cc354ba62533a01b8d60549da984d716592544
tuned signature;

diff -r 19cc354ba625 -r a213dd3c0b29 src/Pure/Admin/component_bash_process.scala
--- a/src/Pure/Admin/component_bash_process.scala	Thu Mar 28 08:30:42 2024 +0100
+++ b/src/Pure/Admin/component_bash_process.scala	Thu Mar 28 11:29:25 2024 +0100
@@ -24,6 +24,8 @@
     val component_dir =
       Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress)
 
+    component_dir.write_platforms()
+
 
     /* platform */
 
@@ -179,12 +181,6 @@
 """)
 
 
-    /* platform.props */
-
-    File.write(component_dir.platform_props,
-      Platform.Family.list.map(family => family.toString + " = ").mkString("", "\n", "\n"))
-
-
     /* README */
 
     File.write(component_dir.README,
diff -r 19cc354ba625 -r a213dd3c0b29 src/Pure/System/components.scala
--- a/src/Pure/System/components.scala	Thu Mar 28 08:30:42 2024 +0100
+++ b/src/Pure/System/components.scala	Thu Mar 28 11:29:25 2024 +0100
@@ -211,6 +211,10 @@
       this
     }
 
+    def write_platforms(
+      lines: List[String] = Platform.Family.list.map(family => family.toString + " = ")
+    ): Unit = File.write(platform_props, terminate_lines(lines))
+
     def get_platforms(): Platforms = {
       val props_path = platform_props.expand
       val props =