Re: [PATCH] Windows: Fix set_unbuffered_mode.o file rename race
Tom Tromey <[email protected]>
| Newsgroups | gmane.comp.gdb.patches |
|---|---|
| Message-ID | <[email protected]> |
>>>>> "Pedro" == Pedro Alves <[email protected]> writes: Pedro> If we get EBUSY, it's because another parallel worker already managed Pedro> to build and move its set_unbuffered_mode.o copy to the final Pedro> destination. So fix it by simply ignoring EBUSY. Put the rename in Pedro> its own procedure, as I expect this will be used in more places. This looks ok to me, thanks. Approved-By: Tom Tromey <[email protected]> Tom