--- a/src/Pure/Tools/build.scala Thu Apr 06 14:41:56 2017 +0200
+++ b/src/Pure/Tools/build.scala Thu Apr 06 15:20:45 2017 +0200
@@ -395,9 +395,9 @@
val full_tree = Sessions.load(build_options, dirs, select_dirs)
val (selected, selected_tree) = selection(full_tree)
val deps =
- Sessions.dependencies(
- progress, true, verbose, list_files, check_keywords,
- full_tree.global_theories, selected_tree)
+ Sessions.deps(selected_tree, progress = progress, inlined_files = true,
+ verbose = verbose, list_files = list_files, check_keywords = check_keywords,
+ global_theories = full_tree.global_theories)
def sources_stamp(name: String): List[String] =
(selected_tree(name).meta_digest :: deps.sources(name)).map(_.toString).sorted