changeset 80004 | 31ebb6be32b0 |
parent 77788 | c2ce9ac85859 |
child 80049 | b525f783b784 |
--- a/src/Pure/Admin/component_rsync.scala Tue Mar 26 11:32:16 2024 +0100 +++ b/src/Pure/Admin/component_rsync.scala Tue Mar 26 11:45:49 2024 +0100 @@ -50,7 +50,7 @@ val platform_name = proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) - .getOrElse(error("No 64bit platform")) + .getOrElse(error("Missing ISABELLE_PLATFORM64")) val platform_dir = Isabelle_System.make_directory(component_dir.path + Path.basic("platform_" + platform_name))