src/Pure/Tools/build.scala

 
 
   /** build with results **/
 
   class Results private[Build](
+    val store: Sessions.Store,
     results: Map[String, (Option[Process_Result], Sessions.Info)],
     val presentation_sessions: List[String]
   ) {
+    def cache: Term.Cache = store.cache
+
     def sessions: Set[String] = results.keySet
     def cancelled(name: String): Boolean = results(name)._1.isEmpty
     def info(name: String): Sessions.Info = results(name)._2
     def apply(name: String): Process_Result = results(name)._1.getOrElse(Process_Result(1))
     val rc: Int =

           name <- build_sessions.build_topological_order.iterator
           result <- build_results.get(name)
           if result.ok && browser_info.enabled(result.info)
         } yield name).toList
 
-      new Results(results, presentation_sessions)
+      new Results(store, results, presentation_sessions)
     }
 
     if (export_files) {
       for (name <- full_sessions_selection.iterator if results(name).ok) {
         val info = results.info(name)