--- a/src/Pure/Admin/build_status.scala Fri Nov 12 18:45:02 2021 +0100
+++ b/src/Pure/Admin/build_status.scala Fri Nov 12 23:20:05 2021 +0100
@@ -270,9 +270,11 @@
threads1 max threads2
}
val ml_platform = res.string(Build_Log.Settings.ML_PLATFORM)
+ val ml_platform_64 =
+ ml_platform.startsWith("x86_64-") || ml_platform.startsWith("arm64-")
val data_name =
profile.description +
- (if (ml_platform.startsWith("x86_64-")) ", 64bit" else "") +
+ (if (ml_platform_64) ", 64bit" else "") +
(if (threads == 1) "" else ", " + threads + " threads")
res.get_string(Build_Log.Prop.build_host).foreach(host =>