mingw: work around irregular failures of unlink on windows
commit58e62ed9f71fd9916de220189de7bea0fe5415bc
authorHeiko Voigt <hvoigt@hvoigt.net>
Tue, 26 Jan 2010 20:48:45 +0000 (26 21:48 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 8 Jan 2011 14:15:22 +0000 (8 15:15 +0100)
tree9cf934c520141dba132f05c56649d971eebf6739
parent0b5350b99017b55dd380d4958ded14f6c0b7a8fa
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