Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Thu, 30 Mar 2023 16:02:25 +0200
changeset 77763 2abc452d0ee9
parent 77762 f73400337c5c
child 77764 44a6ac96314d
tuned message;
src/Pure/Admin/component_rsync.scala file | annotate | diff | comparison | revisions 
--- 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 */
isabelle