Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Build/build_benchmark.scala
changeset 82720 956ecf2c07a0
parent 80128 2fe244c4bb01 
--- a/src/Pure/Build/build_benchmark.scala	Sun Jun 15 22:14:38 2025 +0200
+++ b/src/Pure/Build/build_benchmark.scala	Sun Jun 15 22:46:45 2025 +0200
@@ -68,7 +68,7 @@
         def get_shasum(name: String): SHA1.Shasum =
           store.check_output(database_server, name,
             sources_shasum = sessions(name).sources_shasum,
-            input_shasum = ML_Process.make_shasum(sessions(name).ancestors.map(get_shasum)),
+            input_shasum = ML_Process.make_shasum(store, sessions(name).ancestors.map(get_shasum)),
             build_thorough = build_context.sessions_structure(name).build_thorough)._2
 
         val deps = Sessions.deps(full_sessions.selection(selection)).check_errors
isabelle