# HG changeset patch
# User wenzelm
# Date 1620332010 -7200
# Node ID 6945ac084763716865802834d667a285d1c3ff45
# Parent  3531d20cf2fd6b18c005ab7626d98148a2aa166d
clarified purge;

diff -r 3531d20cf2fd -r 6945ac084763 src/Pure/Admin/components.scala
--- a/src/Pure/Admin/components.scala	Thu May 06 20:54:34 2021 +0200
+++ b/src/Pure/Admin/components.scala	Thu May 06 22:13:30 2021 +0200
@@ -79,15 +79,16 @@
 
   def purge(dir: Path, platform: Platform.Family.Value): Unit =
   {
-    def purge_platforms(platforms: String*): Set[String] =
-      platforms.flatMap(name =>
-        List("arm64-" + name, "x86-" + name, "x86_64_32-" + name, "x86_64-" + name)).toSet +
-      "ppc-darwin" + "arm64-linux"
+    val purge_default = Set("x86-linux", "x86-cygwin", "arm64-linux")
+    val purge_linux = Set("x86_64-linux", "x86_64_32-linux")
+    val purge_macos = Set("arm64-darwin", "x86_64-darwin", "x86_64_32-darwin")
+    val purge_windows = Set("x86_64-cygwin", "x86_64-windows", "x86_64_32-windows", "x86-windows")
+
     val purge_set =
       platform match {
-        case Platform.Family.linux => purge_platforms("darwin", "cygwin", "windows")
-        case Platform.Family.macos => purge_platforms("linux", "cygwin", "windows")
-        case Platform.Family.windows => purge_platforms("linux", "darwin")
+        case Platform.Family.linux => purge_default ++ purge_macos ++ purge_windows
+        case Platform.Family.macos => purge_default ++ purge_linux ++ purge_windows
+        case Platform.Family.windows => purge_default ++ purge_linux ++ purge_macos
       }
 
     File.find_files(dir.file,