Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_status.scala
changeset 65895 744878d72021
parent 65893 20656a4709d6
child 65939 9fb044904a4d 
--- a/src/Pure/Admin/build_status.scala	Sun May 21 23:10:39 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Sun May 21 23:41:46 2017 +0200
@@ -166,7 +166,7 @@
             {
               val threads1 =
                 res.string(Build_Log.Settings.ISABELLE_BUILD_OPTIONS) match {
-                  case Threads_Option(Value.Int(i)) if session_name == "Pure" => i
+                  case Threads_Option(Value.Int(i)) => i
                   case _ => 1
                 }
               val threads2 = res.get_int(Build_Log.Data.threads).getOrElse(1)
isabelle