mingw: add fallback for rmdir in case directory is in use
commitb8cd9c08a6405ca1f52e28b1e0c90a0205833e7f
authorHeiko Voigt <heiko.voigt@mahr.de>
Thu, 25 Feb 2010 13:58:36 +0000 (25 14:58 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Wed, 11 Aug 2010 13:47:19 +0000 (11 15:47 +0200)
treef0ba257dedb7a8682607995bda7d77f790473b94
parentef3ad5023aab2d8438c6eef53a9d6a02b27d90ca
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