diff -r 64da14387b2c -r 52861eebf58d src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sun Mar 19 12:57:29 2017 +0100
+++ b/src/Pure/Tools/build.scala	Sun Mar 19 13:05:06 2017 +0100
@@ -49,7 +49,7 @@
           try {
             using(SQLite.open_database(database))(db =>
             {
-              val build_log = store.read_build_log(db, command_timings = true)
+              val build_log = store.read_build_log(db, name, command_timings = true)
               val session_timing = Markup.Elapsed.unapply(build_log.session_timing) getOrElse 0.0
               (build_log.command_timings, session_timing)
             })
@@ -525,7 +525,7 @@
                 {
                   store.find_database_heap(name) match {
                     case Some((database, heap_stamp)) =>
-                      using(SQLite.open_database(database))(store.read_build(_)) match {
+                      using(SQLite.open_database(database))(store.read_build(_, name)) match {
                         case Some(build) =>
                           val current =
                             build.sources == sources_stamp(name) &&