mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
38cd15d755
Fix a possible race condition that could arise if multiple instances of `fetch-debuginfo` are run in parallel. This avoids the same file being written by multiple processes and being moved early. This avoids a `FileNotFoundError` and possibly data corruption due to the concurrent situation.