diff options
| author | Daniel Rosenberg <drosen@google.com> | 2020-10-16 19:41:34 -0700 |
|---|---|---|
| committer | Daniel Rosenberg <drosen@google.com> | 2020-10-22 02:34:26 -0700 |
| commit | e402a80c3edd8133bfb3d0efcc9d0776dbcda908 (patch) | |
| tree | 1a4b754a5916b22378b479583a0396709d74b619 /trusty/coverage/coverage.cpp | |
| parent | fcf6329a3ce427995ba5175ad9cf759ab72978a5 (diff) | |
reland: Rename Flush to Finalize
As we change to a more resumable format, flush mostly writes the final
parts of the file that are needed, which would write extra data that is
not needed to continue writing, and would immediately be overwritten.
Additionally, in the next patch we will fsync the file after adding an
op, making the flush built in, and the Finalize name more appropriate.
Bug: 168829493
Test: builds
Change-Id: Iccc6580ac72ff066cfeeb32e3cdaf69c5ba615fc
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions