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/Tools/build.scala
changeset 73804 451fc6be6c5b
parent 73786 18d80cd51823
child 73805 b73777a0c076 
--- a/src/Pure/Tools/build.scala	Fri Jun 04 22:50:32 2021 +0200
+++ b/src/Pure/Tools/build.scala	Fri Jun 04 22:58:38 2021 +0200
@@ -425,7 +425,7 @@
                   val numa_node = numa_nodes.next(used_node)
                   val job =
                     new Build_Job(progress, session_name, info, deps, store, do_store,
-                      verbose, log, numa_node, queue.command_timings(session_name))
+                      log, numa_node, queue.command_timings(session_name))
                   loop(pending, running + (session_name -> (ancestor_heaps, job)), results)
                 }
                 else {
isabelle