mingw: add fallback for rmdir in case directory is in use
commit7c4fed07b9fe62e253346d0b105e5df708775a92
authorHeiko Voigt <heiko.voigt@mahr.de>
Thu, 25 Feb 2010 13:58:36 +0000 (25 14:58 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Fri, 11 Jun 2010 14:18:37 +0000 (11 16:18 +0200)
treee1027d29f6b300748834075366e85dce1702a30c
parent1eeeb2fe255990af97f118cc987894592a2e7104
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