src/Pure/Tools/build.scala
changeset 65406 cc9e2f1f279d
parent 65392 f365f61f2081
child 65415 8cd54b18b68b
     1.1 --- a/src/Pure/Tools/build.scala	Thu Apr 06 14:41:56 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Thu Apr 06 15:20:45 2017 +0200
     1.3 @@ -395,9 +395,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(
     1.8 -        progress, true, verbose, list_files, check_keywords,
     1.9 -          full_tree.global_theories, selected_tree)
    1.10 +      Sessions.deps(selected_tree, progress = progress, inlined_files = true,
    1.11 +        verbose = verbose, list_files = list_files, check_keywords = check_keywords,
    1.12 +        global_theories = full_tree.global_theories)
    1.13  
    1.14      def sources_stamp(name: String): List[String] =
    1.15        (selected_tree(name).meta_digest :: deps.sources(name)).map(_.toString).sorted