--- 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
--- 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)