author | Heiko Voigt <hvoigt@hvoigt.net> | |
Mon, 7 Feb 2011 20:52:34 +0000 (21:52 +0100) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Mon, 7 Feb 2011 23:45:54 +0000 (15:45 -0800) | ||
commit | 4f288100ceed14c65a1e964b2db4aaee4f4199fc | |
tree | 452ad7b77100f834bc4e1189ba12041d36dbb697 | tree | snapshot |
parent | c9b78400802acb3e02249c44286162edd9ed2b35 | commit | diff |
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>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
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>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
compat/mingw.c | diff | blob | history | |
compat/mingw.h | diff | blob | history |