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.
proper treatment of x86_64_32;
authorwenzelm
Thu, 24 Jan 2019 13:53:33 +0100
changeset 69734 e58f158c8ac5
parent 69733 6d158fd15b85
child 69736 25d539a4b5bb
proper treatment of x86_64_32;
src/Pure/Admin/build_status.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_status.scala	Thu Jan 24 10:04:32 2019 +0100
+++ b/src/Pure/Admin/build_status.scala	Thu Jan 24 13:53:33 2019 +0100
@@ -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