--- a/src/Pure/Tools/build.scala Tue Apr 04 18:43:58 2017 +0200
+++ b/src/Pure/Tools/build.scala Tue Apr 04 19:40:47 2017 +0200
@@ -396,7 +396,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, selected_tree)
+ Sessions.dependencies(
+ progress, true, verbose, list_files, check_keywords,
+ full_tree.global_theories, selected_tree)
def sources_stamp(name: String): List[String] =
(selected_tree(name).meta_digest :: deps.sources(name)).map(_.toString).sorted