Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/components.scala
changeset 72353 1e5516c55b46
parent 71726 a5fda30edae2
child 72375 e48d93811ed7 
--- a/src/Pure/Admin/components.scala	Thu Oct 01 16:31:22 2020 +0200
+++ b/src/Pure/Admin/components.scala	Thu Oct 01 17:21:12 2020 +0200
@@ -79,7 +79,7 @@
   {
     def purge_platforms(platforms: String*): Set[String] =
       platforms.flatMap(name => List("x86-" + name, "x86_64_32-" + name, "x86_64-" + name)).toSet +
-      "ppc-darwin"
+      "ppc-darwin" + "arm64-linux"
     val purge_set =
       platform match {
         case Platform.Family.linux => purge_platforms("darwin", "cygwin", "windows")
isabelle