diff -r 39f9084a9668 -r 2fe244c4bb01 src/Pure/Build/build_process.scala
--- a/src/Pure/Build/build_process.scala	Wed Apr 17 15:04:27 2024 +0200
+++ b/src/Pure/Build/build_process.scala	Wed Apr 17 21:20:31 2024 +0200
@@ -1167,9 +1167,9 @@
     val store_heap = build_context.store_heap || state.sessions.store_heap(session_name)
     val (current, output_shasum) =
       store.check_output(_database_server, session_name,
-        session_options = build_context.sessions_structure(session_name).options,
         sources_shasum = sources_shasum,
         input_shasum = input_shasum,
+        build_thorough = build_context.sessions_structure(session_name).build_thorough,
         fresh_build = build_context.fresh_build,
         store_heap = store_heap)