src/Pure/Build/build_process.scala

           update_running(db, state.running, old_state.running),
           update_results(db, state.results, old_state.results))
 
       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)
       }
       else state
     }