--- a/src/Pure/Tools/build.scala Tue Mar 13 20:04:58 2018 +0100
+++ b/src/Pure/Tools/build.scala Tue Mar 13 21:04:42 2018 +0100
@@ -415,8 +415,8 @@
val selected_sessions =
full_sessions.selection(Sessions.Selection(sessions = outdated))
val deps =
- Sessions.deps(selected_sessions, full_sessions.global_theories, inlined_files = true)
- .check_errors
+ Sessions.deps(selected_sessions, full_sessions.global_theories,
+ progress = progress, inlined_files = true).check_errors
(selected_sessions, deps)
}
else (selected_sessions0, deps0)