# HG changeset patch
# User wenzelm
# Date 1609946045 -3600
# Node ID 9db6072eb7119fd0b399cc0c33a90b776fb59d7e
# Parent  af54129abd9eb14de127e29a8d13b3c314bd8b43
proper purge for arm64-darwin;

diff -r af54129abd9e -r 9db6072eb711 src/Pure/Admin/components.scala
--- a/src/Pure/Admin/components.scala	Wed Jan 06 16:12:35 2021 +0100
+++ b/src/Pure/Admin/components.scala	Wed Jan 06 16:14:05 2021 +0100
@@ -78,7 +78,8 @@
   def purge(dir: Path, platform: Platform.Family.Value)
   {
     def purge_platforms(platforms: String*): Set[String] =
-      platforms.flatMap(name => List("x86-" + name, "x86_64_32-" + name, "x86_64-" + name)).toSet +
+      platforms.flatMap(name =>
+        List("arm64-" + name, "x86-" + name, "x86_64_32-" + name, "x86_64-" + name)).toSet +
       "ppc-darwin" + "arm64-linux"
     val purge_set =
       platform match {