equal
deleted
inserted
replaced
77 |
77 |
78 def purge(dir: Path, platform: Platform.Family.Value) |
78 def purge(dir: Path, platform: Platform.Family.Value) |
79 { |
79 { |
80 def purge_platforms(platforms: String*): Set[String] = |
80 def purge_platforms(platforms: String*): Set[String] = |
81 platforms.flatMap(name => List("x86-" + name, "x86_64_32-" + name, "x86_64-" + name)).toSet + |
81 platforms.flatMap(name => List("x86-" + name, "x86_64_32-" + name, "x86_64-" + name)).toSet + |
82 "ppc-darwin" |
82 "ppc-darwin" + "arm64-linux" |
83 val purge_set = |
83 val purge_set = |
84 platform match { |
84 platform match { |
85 case Platform.Family.linux => purge_platforms("darwin", "cygwin", "windows") |
85 case Platform.Family.linux => purge_platforms("darwin", "cygwin", "windows") |
86 case Platform.Family.macos => purge_platforms("linux", "cygwin", "windows") |
86 case Platform.Family.macos => purge_platforms("linux", "cygwin", "windows") |
87 case Platform.Family.windows => purge_platforms("linux", "darwin") |
87 case Platform.Family.windows => purge_platforms("linux", "darwin") |