src/Pure/Tools/build.scala
changeset 65372 b722ee40c26c
parent 65365 d32e702d7ab8
child 65374 a5b38d8d3c1e
     1.1 --- a/src/Pure/Tools/build.scala	Tue Apr 04 18:43:58 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Apr 04 19:40:47 2017 +0200
     1.3 @@ -396,7 +396,9 @@
     1.4      val full_tree = Sessions.load(build_options, dirs, select_dirs)
     1.5      val (selected, selected_tree) = selection(full_tree)
     1.6      val deps =
     1.7 -      Sessions.dependencies(progress, true, verbose, list_files, check_keywords, selected_tree)
     1.8 +      Sessions.dependencies(
     1.9 +        progress, true, verbose, list_files, check_keywords,
    1.10 +          full_tree.global_theories, selected_tree)
    1.11  
    1.12      def sources_stamp(name: String): List[String] =
    1.13        (selected_tree(name).meta_digest :: deps.sources(name)).map(_.toString).sorted