--- 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 {