--- a/src/Pure/Admin/component_rsync.scala Thu Mar 30 15:33:02 2023 +0200
+++ b/src/Pure/Admin/component_rsync.scala Thu Mar 30 16:02:25 2023 +0200
@@ -42,12 +42,11 @@
Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress)
val platform_name =
- "platform_" +
- proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64"))
- .getOrElse(error("No 64bit platform"))
+ proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64"))
+ .getOrElse(error("No 64bit platform"))
val platform_dir =
- Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
+ Isabelle_System.make_directory(component_dir.path + Path.basic("platform_" + platform_name))
/* download source */