src/Pure/Tools/build.scala
changeset 67852 f701a1d5d852
parent 67847 c61acb4855b6
child 68086 9e1c670301b8
     1.1 --- a/src/Pure/Tools/build.scala	Tue Mar 13 20:04:58 2018 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Mar 13 21:04:42 2018 +0100
     1.3 @@ -415,8 +415,8 @@
     1.4          val selected_sessions =
     1.5            full_sessions.selection(Sessions.Selection(sessions = outdated))
     1.6          val deps =
     1.7 -          Sessions.deps(selected_sessions, full_sessions.global_theories, inlined_files = true)
     1.8 -            .check_errors
     1.9 +          Sessions.deps(selected_sessions, full_sessions.global_theories,
    1.10 +            progress = progress, inlined_files = true).check_errors
    1.11          (selected_sessions, deps)
    1.12        }
    1.13        else (selected_sessions0, deps0)