mingw: work around irregular failures of unlink on windows
commit5642ade9326c998714370d733dc4094ae3d43cfc
authorHeiko Voigt <hvoigt@hvoigt.net>
Tue, 26 Jan 2010 20:48:45 +0000 (26 21:48 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Fri, 11 Jun 2010 14:18:32 +0000 (11 16:18 +0200)
tree78727e64855ff2031ce8d619cfef34e150426f0d
parent2fa4d54db88602831c38218a8a7e56f67a144d8b
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