src/Pure/Tools/build.scala
changeset 67846 bdf6933f7ac9
parent 67835 c8e4ee2b5482
child 67847 c61acb4855b6
     1.1 --- a/src/Pure/Tools/build.scala	Tue Mar 13 17:15:01 2018 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Mar 13 18:28:12 2018 +0100
     1.3 @@ -770,7 +770,8 @@
     1.4  
     1.5      val results =
     1.6        progress.interrupt_handler {
     1.7 -        build(options, progress,
     1.8 +        build(options,
     1.9 +          progress = progress,
    1.10            check_unknown_files = Mercurial.is_repository(Path.explode("~~")),
    1.11            build_heap = build_heap,
    1.12            clean_build = clean_build,