src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Sat Dec 31 15:48:12 2022 +0100
+++ b/src/Pure/Tools/build.scala	Sun Jan 01 21:44:08 2023 +0100
@@ -348,7 +348,7 @@
 
             // write database
             using(store.open_database(session_name, output = true))(db =>
-              store.write_session_info(db, session_name,
+              store.write_session_info(db, build_deps(session_name),
                 build_log =
                   if (process_result.timeout) build_log.error("Timeout") else build_log,
                 build =