Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
purge arm64-linux --- no build_release support yet;
authorwenzelm
Thu, 01 Oct 2020 17:21:12 +0200
changeset 72353 1e5516c55b46
parent 72352 f4bd6f123fdf
child 72354 2d36c214f7fd
purge arm64-linux --- no build_release support yet;
src/Pure/Admin/components.scala file | annotate | diff | comparison | revisions 
--- 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