author | wenzelm |
Thu, 21 Mar 2024 16:28:43 +0100 | |
changeset 79959 | 6043c3fef052 |
parent 79958 | 6c4e20a02ac7 |
child 79960 | 7747a8efcad0 |
--- a/src/Pure/Tools/dotnet_setup.scala Thu Mar 21 16:16:03 2024 +0100 +++ b/src/Pure/Tools/dotnet_setup.scala Thu Mar 21 16:28:43 2024 +0100 @@ -19,7 +19,7 @@ exec: String = "bash", check: () => Unit = () => ()) - val all_platforms = + private val all_platforms = List( Platform_Info(Platform.Family.linux_arm, "arm64-linux", os = "linux", arch = "arm64"), Platform_Info(Platform.Family.linux, "x86_64-linux", os = "linux"),