mingw: add fallback for rmdir in case directory is in use
commit6c678a7a6e0f67dba15c3a80cbe0de004deb374d
authorHeiko Voigt <heiko.voigt@mahr.de>
Thu, 25 Feb 2010 13:58:36 +0000 (25 14:58 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sun, 19 Dec 2010 22:13:46 +0000 (19 23:13 +0100)
tree26708621999af6eadd2f345b00a2fd58ac413b83
parentffe777cab9c5d5466966112fa068a6e535b74a05
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