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 67846 bdf6933f7ac9
parent 67835 c8e4ee2b5482
child 67847 c61acb4855b6 
--- a/src/Pure/Tools/build.scala	Tue Mar 13 17:15:01 2018 +0100
+++ b/src/Pure/Tools/build.scala	Tue Mar 13 18:28:12 2018 +0100
@@ -770,7 +770,8 @@
 
     val results =
       progress.interrupt_handler {
-        build(options, progress,
+        build(options,
+          progress = progress,
           check_unknown_files = Mercurial.is_repository(Path.explode("~~")),
           build_heap = build_heap,
           clean_build = clean_build,
isabelle