# HG changeset patch
# User wenzelm
# Date 1709676378 -3600
# Node ID 60dd45996a6bd5624d3a1938375b702b6ccf68d1
# Parent  3b1ad072d59ad6f1e0071fb3bbc4e9b0d78a1fb4
proper release bundle_name (amending 0e7dd3eaa6e8);

diff -r 3b1ad072d59a -r 60dd45996a6b src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Mar 05 21:44:52 2024 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Mar 05 23:06:18 2024 +0100
@@ -835,9 +835,9 @@
         progress.echo_warning("Library archive already exists: " + context.isabelle_library_archive)
       }
       else {
+        require(Platform.is_unix, "Linux or macOS platform required")
         Isabelle_System.with_tmp_dir("build_release") { tmp_dir =>
-          val windows_app_platform = Isabelle_Platform.self.ISABELLE_PLATFORM64
-          val bundle = context.dist_name + "_" + Component_Windows_App.tool_platform() + ".tar.gz"
+          val bundle = context.dist_name + "_" + Platform.family + ".tar.gz"
           val bundle_path = context.dist_dir + Path.basic(bundle)
           execute_tar(tmp_dir, "-xzf " + File.bash_path(bundle_path))