# HG changeset patch
# User wenzelm
# Date 1548097177 -3600
# Node ID 1e30b4093924509b946e6f912ce32a4ebf940558
# Parent  1adc89c4a7954babb6f950de5d3a129151fb35d9
more thorough purge_platforms;

diff -r 1adc89c4a795 -r 1e30b4093924 src/Pure/Admin/components.scala
--- a/src/Pure/Admin/components.scala	Mon Jan 21 16:50:48 2019 +0100
+++ b/src/Pure/Admin/components.scala	Mon Jan 21 19:59:37 2019 +0100
@@ -73,7 +73,8 @@
   def purge(dir: Path, platform: Platform.Family.Value)
   {
     def purge_platforms(platforms: String*): Set[String] =
-      platforms.flatMap(name => List("x86-" + name, "x86_64-" + name)).toSet + "ppc-darwin"
+      platforms.flatMap(name => List("x86-" + name, "x86_64_32-" + name, "x86_64-" + name)).toSet +
+      "ppc-darwin"
     val purge_set =
       platform match {
         case Platform.Family.linux => purge_platforms("darwin", "cygwin", "windows")