diff options
| author | Bas Nieuwenhuizen <bas@basnieuwenhuizen.nl> | 2021-08-05 01:29:04 +0200 |
|---|---|---|
| committer | Eric Engestrom <eric@engestrom.ch> | 2021-08-09 08:32:01 +0100 |
| commit | 32a665bb10550490b8b7096352652e0018961bae (patch) | |
| tree | 3b6aaff6d91f8e40b39a85d4396c3b03fdc22ee6 /.pick_status.json | |
| parent | f5327d5407abb380c534afb80e553f3e1624b1da (diff) | |
util/fossilize_db: Flush files after header write.
We should probably flush before we unlock the file again.
Fixes: 4f0f8133a35 "util/fossilize_db: Do not lock the fossilize db permanently."
Reviewed-by: Timothy Arceri <tarceri@itsqueeze.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/12204>
(cherry picked from commit 3091277052cccd47994a2aa075eecaa767cc709b)
Diffstat (limited to '.pick_status.json')
| -rw-r--r-- | .pick_status.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.pick_status.json b/.pick_status.json index c69bf4f51b6..166bae1eed6 100644 --- a/.pick_status.json +++ b/.pick_status.json @@ -184,7 +184,7 @@ "description": "util/fossilize_db: Flush files after header write.", "nominated": true, "nomination_type": 1, - "resolution": 0, + "resolution": 1, "main_sha": null, "because_sha": "4f0f8133a35ec2fec8d99936cd7425e40d092169" }, |