# HG changeset patch
# User wenzelm
# Date 1540202139 -7200
# Node ID 300046d2ec6028456194a72b46763553168ff1dc
# Parent  63391630495f829b627aec383dbe55b953648089
tuned signature;

diff -r 63391630495f -r 300046d2ec60 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Mon Oct 22 11:48:28 2018 +0200
+++ b/src/Pure/Admin/build_release.scala	Mon Oct 22 11:55:39 2018 +0200
@@ -33,10 +33,14 @@
 
     val other_isabelle_identifier: String = dist_name + "-build"
 
-    val bundle_infos: List[Bundle_Info] =
-      List(Bundle_Info("linux", "Linux", dist_name + "_app.tar.gz", None),
-        Bundle_Info("windows", "Windows", dist_name + ".exe", None),
-        Bundle_Info("macos", "Mac OS X", dist_name + ".dmg", Some(dist_name + "_dmg.tar.gz")))
+    def bundle_info(platform_family: String): Bundle_Info =
+      platform_family match {
+        case "linux" => Bundle_Info("linux", "Linux", dist_name + "_app.tar.gz", None)
+        case "windows" => Bundle_Info("windows", "Windows", dist_name + ".exe", None)
+        case "macos" =>
+          Bundle_Info("macos", "Mac OS X", dist_name + ".dmg", Some(dist_name + "_dmg.tar.gz"))
+        case _ => error("Unknown platform family " + quote(platform_family))
+      }
   }
 
 
@@ -313,10 +317,7 @@
 
     /* make application bundles */
 
-    val bundle_infos =
-      platform_families.map(family =>
-        release.bundle_infos.find(info => info.platform_family == family) getOrElse
-          error("Unknown platform family " + quote(family)))
+    val bundle_infos = platform_families.map(release.bundle_info)
 
     for (bundle_info <- bundle_infos) {
       val bundle =