mingw: add fallback for rmdir in case directory is in use
commit08e6f921a09466f30938cdd7907d9c4d9c36cf63
authorHeiko Voigt <heiko.voigt@mahr.de>
Thu, 25 Feb 2010 13:58:36 +0000 (25 14:58 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 1 Feb 2011 22:23:19 +0000 (1 16:23 -0600)
treec1a10ec5db8d1f8c7de9e1d7fa4b5f1c9d559567
parent74510dc3ba48a4e26836c74711dd9306a113f0dd
mingw: add fallback for rmdir in case directory is in use

The same logic as for unlink and rename also applies to rmdir. For
example in case you have a shell open in a git controlled folder. This
will easily fail. So lets be nice for such cases as well.

Signed-off-by: Heiko Voigt <heiko.voigt@mahr.de>
compat/mingw.c
compat/mingw.h