mingw: add fallback for rmdir in case directory is in use
commit9b275e71be24ae9b0ed5c4b1a05cb94f2e9e350b
authorHeiko Voigt <heiko.voigt@mahr.de>
Thu, 25 Feb 2010 13:58:36 +0000 (25 14:58 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 8 Apr 2010 18:30:31 +0000 (8 20:30 +0200)
tree6f5b73e07728ac1cdac3052ab7a0e9057126e874
parent9da0cb5c86d833dcfda9a88e3c8cdaa58393ea92
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