mingw: work around irregular failures of unlink on windows
commit4ba03bbfece3867cc14370f2b1908ec9a2352961
authorHeiko Voigt <hvoigt@hvoigt.net>
Tue, 26 Jan 2010 20:48:45 +0000 (26 21:48 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 12 Jun 2010 11:09:30 +0000 (12 13:09 +0200)
tree8e83fa5eb733bb6e80f7e8a40bf3fba570fa8176
parent89983a08adbb644cd4465de54f548efce2ce8008
mingw: work around irregular failures of unlink on windows

If a file is opened by another process (e.g. indexing of an IDE) for
reading it is not allowed to be deleted. So in case unlink fails retry
after waiting for some time. This extends the workaround from 6ac6f878.

Signed-off-by: Heiko Voigt <hvoigt@hvoigt.net>
compat/mingw.c