mingw: add fallback for rmdir in case directory is in use
commit7e4ca34da0f0b7cd836ee352d64a521e0c90c7fd
authorHeiko Voigt <heiko.voigt@mahr.de>
Thu, 25 Feb 2010 13:58:36 +0000 (25 14:58 +0100)
committerlmfadmin <lmfadmin@ubuntu.ubuntu-domain>
Fri, 3 Sep 2010 12:28:42 +0000 (3 13:28 +0100)
tree59f63e92e6fc488dfc6f0b7f982bd53ff65d3b33
parent9229029bb52cbed0b0e18922e0603e150c82c170
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