changeset 75212 | 7870cdaa3f1f |
parent 75083 | 35a5c4b16024 |
child 75393 | 87ebf5a50283 |
--- a/src/Pure/System/platform.scala Fri Mar 04 11:44:05 2022 +0100 +++ b/src/Pure/System/platform.scala Fri Mar 04 21:47:57 2022 +0100 @@ -29,7 +29,7 @@ { val linux_arm, linux, macos, windows = Value val list0: List[Value] = List(linux, windows, macos) - val list: List[Value] = List(linux_arm, linux, windows, macos) + val list: List[Value] = List(linux, linux_arm, windows, macos) def unapply(name: String): Option[Value] = try { Some(withName(name)) }