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.
tuned;
authorwenzelm
Tue, 26 May 2020 11:25:33 +0200
changeset 71895 7a39036d5a19
parent 71894 ab21876c30c1
child 71896 ce06d6456cc8
tuned;
src/Pure/Tools/build.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build.scala	Tue May 26 11:17:10 2020 +0200
+++ b/src/Pure/Tools/build.scala	Tue May 26 11:25:33 2020 +0200
@@ -76,7 +76,7 @@
           val g = sessions_structure.build_graph.restrict(descendants)
           (0.0 :: g.maximals.flatMap(desc => {
             val ps = g.all_preds(List(desc))
-            if (ps.exists(p => timing.get(p).isEmpty)) None
+            if (ps.exists(p => !timing.isDefinedAt(p))) None
             else Some(ps.map(timing(_)).sum)
           })).max
         }
@@ -162,7 +162,7 @@
     val numa_node: Option[Int],
     command_timings: List[Properties.T])
   {
-    val options = NUMA.policy_options(info.options, numa_node)
+    val options: Options = NUMA.policy_options(info.options, numa_node)
 
     private val sessions_structure = deps.sessions_structure
isabelle