# HG changeset patch
# User wenzelm
# Date 1620386249 -7200
# Node ID ac6f8fff036b24a3e8f961474dd21f221c56087f
# Parent  a2d3b4a90bca84b3cd253def962c4e1521009e60
clarified default_platform_families (again);

diff -r a2d3b4a90bca -r ac6f8fff036b src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri May 07 13:16:50 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Fri May 07 13:17:29 2021 +0200
@@ -487,11 +487,13 @@
     }
   }
 
+  def default_platform_families: List[Platform.Family.Value] = Platform.Family.list0
+
   def build_release(
     options: Options,
     context: Release_Context,
     afp_rev: String = "",
-    platform_families: List[Platform.Family.Value] = Platform.Family.list,
+    platform_families: List[Platform.Family.Value] = default_platform_families,
     more_components: List[Path] = Nil,
     website: Option[Path] = None,
     build_sessions: List[String] = Nil,
@@ -855,7 +857,7 @@
       var parallel_jobs = 1
       var build_library = false
       var options = Options.init()
-      var platform_families = Platform.Family.list
+      var platform_families = default_platform_families
       var rev = ""
 
       val getopts = Getopts("""
@@ -874,7 +876,7 @@
     -j INT       maximum number of parallel jobs (default 1)
     -l           build library
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
-    -p NAMES     platform families (default: """ + Platform.Family.list.mkString(",") + """)
+    -p NAMES     platform families (default: """ + default_platform_families.mkString(",") + """)
     -r REV       Mercurial changeset id (default: ARCHIVE or RELEASE or tip)
 
   Build Isabelle release in base directory, using the local repository clone.
diff -r a2d3b4a90bca -r ac6f8fff036b src/Pure/System/platform.scala
--- a/src/Pure/System/platform.scala	Fri May 07 13:16:50 2021 +0200
+++ b/src/Pure/System/platform.scala	Fri May 07 13:17:29 2021 +0200
@@ -28,6 +28,7 @@
   object Family extends Enumeration
   {
     val linux_arm, linux, macos, windows = Value
+    val list0: List[Value] = List(linux, windows, macos)
     val list: List[Value] = List(linux_arm, linux, windows, macos)
 
     def unapply(name: String): Option[Value] =