Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorpaulson
Thu, 24 Jan 2019 14:45:07 +0000
changeset 69736 25d539a4b5bb
parent 69734 e58f158c8ac5 (diff)
parent 69735 8230dca028eb (current diff)
child 69737 ec3cc98c38db
merged
--- a/src/Pure/Admin/build_status.scala	Thu Jan 24 14:44:52 2019 +0000
+++ b/src/Pure/Admin/build_status.scala	Thu Jan 24 14:45:07 2019 +0000
@@ -260,7 +260,7 @@
             val ml_platform = res.string(Build_Log.Settings.ML_PLATFORM)
             val data_name =
               profile.description +
-                (if (ml_platform.startsWith("x86_64")) ", 64bit" else "") +
+                (if (ml_platform.startsWith("x86_64-")) ", 64bit" else "") +
                 (if (threads == 1) "" else ", " + threads + " threads")
 
             res.get_string(Build_Log.Prop.build_host).foreach(host =>
isabelle