src/Pure/Admin/build_status.scala
changeset 65895 744878d72021
parent 65893 20656a4709d6
child 65939 9fb044904a4d
     1.1 --- a/src/Pure/Admin/build_status.scala	Sun May 21 23:10:39 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Sun May 21 23:41:46 2017 +0200
     1.3 @@ -166,7 +166,7 @@
     1.4              {
     1.5                val threads1 =
     1.6                  res.string(Build_Log.Settings.ISABELLE_BUILD_OPTIONS) match {
     1.7 -                  case Threads_Option(Value.Int(i)) if session_name == "Pure" => i
     1.8 +                  case Threads_Option(Value.Int(i)) => i
     1.9                    case _ => 1
    1.10                  }
    1.11                val threads2 = res.get_int(Build_Log.Data.threads).getOrElse(1)