src/Pure/Tools/build.scala
changeset 66571 0fdeb24e535e
parent 65935 73c099fa96a4
child 66594 c16ed3250de0
     1.1 --- a/src/Pure/Tools/build.scala	Thu Aug 31 11:42:10 2017 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Thu Aug 31 16:30:46 2017 +0200
     1.3 @@ -377,7 +377,7 @@
     1.4      val deps =
     1.5        Sessions.deps(selected_sessions, progress = progress, inlined_files = true,
     1.6          verbose = verbose, list_files = list_files, check_keywords = check_keywords,
     1.7 -        global_theories = full_sessions.global_theories)
     1.8 +        global_theories = full_sessions.global_theories).check_errors
     1.9  
    1.10      def sources_stamp(name: String): List[String] =
    1.11        (selected_sessions(name).meta_digest :: deps.sources(name)).map(_.toString).sorted