# HG changeset patch
# User wenzelm
# Date 1710018247 -3600
# Node ID 64a49c55609fd94f10b9f9c0d16cc95128f5b3d7
# Parent  3f7ac523f5b30665a2face1924c2fdc830f32bbe
disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf" does not quite work yet;

diff -r 3f7ac523f5b3 -r 64a49c55609f src/Pure/Build/build_process.scala
--- a/src/Pure/Build/build_process.scala	Sat Mar 09 22:02:27 2024 +0100
+++ b/src/Pure/Build/build_process.scala	Sat Mar 09 22:04:07 2024 +0100
@@ -886,7 +886,7 @@
 
       if (updates.exists(_.defined)) {
         val serial = state.next_serial
-        write_updates(db, serial, updates)
+        // FIXME write_updates(db, serial, updates)
         stamp_worker(db, worker_uuid, serial)
         state.copy(serial = serial)
       }