src/Pure/Tools/build.scala
changeset 66962 e1bde71bace6
parent 66961 f855f9aed72f
child 66968 9991671c98aa
     1.1 --- a/src/Pure/Tools/build.scala	Tue Oct 31 17:03:57 2017 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Tue Oct 31 17:15:49 2017 +0100
     1.3 @@ -398,9 +398,9 @@
     1.4                exclude_sessions, session_groups, sessions) ++ selection)
     1.5  
     1.6        val deps0 =
     1.7 -        Sessions.deps(selected_sessions0, progress = progress, inlined_files = true,
     1.8 -          verbose = verbose, list_files = list_files, check_keywords = check_keywords,
     1.9 -          global_theories = full_sessions.global_theories).check_errors
    1.10 +        Sessions.deps(selected_sessions0, full_sessions.global_theories,
    1.11 +          progress = progress, inlined_files = true, verbose = verbose,
    1.12 +          list_files = list_files, check_keywords = check_keywords).check_errors
    1.13  
    1.14        if (soft_build && !fresh_build) {
    1.15          val outdated =
    1.16 @@ -417,8 +417,8 @@
    1.17          val (selected, selected_sessions) =
    1.18            full_sessions.selection(Sessions.Selection(sessions = outdated))
    1.19          val deps =
    1.20 -          Sessions.deps(selected_sessions, inlined_files = true,
    1.21 -            global_theories = full_sessions.global_theories).check_errors
    1.22 +          Sessions.deps(selected_sessions, full_sessions.global_theories, inlined_files = true)
    1.23 +            .check_errors
    1.24          (selected, selected_sessions, deps)
    1.25        }
    1.26        else (selected0, selected_sessions0, deps0)