mingw: add fallback for rmdir in case directory is in use
commit5d692c9739599081178f1af2c43637847bebfb7a
authorHeiko Voigt <heiko.voigt@mahr.de>
Thu, 25 Feb 2010 13:58:36 +0000 (25 14:58 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 8 Jan 2011 14:15:23 +0000 (8 15:15 +0100)
treec187931026d944e8fbc40408a94cb39fe6ae7975
parent7b8f9e79a1809766e2e6566a5c487181918bc33e
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