# HG changeset patch
# User wenzelm
# Date 1713271688 -7200
# Node ID 61b8f6ac6860908a820090338df07c3fc42c3950
# Parent  d510a1cf9965fa77465c19d3f5f1cffd4261491a
tuned signature;

diff -r d510a1cf9965 -r 61b8f6ac6860 src/Pure/Build/build_benchmark.scala
--- a/src/Pure/Build/build_benchmark.scala	Tue Apr 16 12:18:32 2024 +0200
+++ b/src/Pure/Build/build_benchmark.scala	Tue Apr 16 14:48:08 2024 +0200
@@ -76,9 +76,7 @@
             database_server, session_name,
             session_options = build_context.sessions_structure(session_name).options,
             sources_shasum = sessions(session_name).sources_shasum,
-            input_shasum = input_shasum,
-            fresh_build = false,
-            store_heap = false)._2
+            input_shasum = input_shasum)._2
         }
 
         val deps = Sessions.deps(full_sessions.selection(selection)).check_errors
diff -r d510a1cf9965 -r 61b8f6ac6860 src/Pure/Build/store.scala
--- a/src/Pure/Build/store.scala	Tue Apr 16 12:18:32 2024 +0200
+++ b/src/Pure/Build/store.scala	Tue Apr 16 14:48:08 2024 +0200
@@ -465,8 +465,8 @@
     session_options: Options,
     sources_shasum: SHA1.Shasum,
     input_shasum: SHA1.Shasum,
-    fresh_build: Boolean,
-    store_heap: Boolean
+    fresh_build: Boolean = false,
+    store_heap: Boolean = false
   ): (Boolean, SHA1.Shasum) = {
     def no_check: (Boolean, SHA1.Shasum) = (false, SHA1.no_shasum)