diff options
| author |  Heiko Voigt <hvoigt@hvoigt.net> | 2011-02-07 21:52:34 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2011-02-07 15:45:54 -0800 |
| commit | 4f288100ceed14c65a1e964b2db4aaee4f4199fc (patch) | |
| tree | 452ad7b77100f834bc4e1189ba12041d36dbb697 /compat/mingw.h | |
| parent | mingw: make failures to unlink or move raise a question (diff) | |
| download | tgif-4f288100ceed14c65a1e964b2db4aaee4f4199fc.tar.xz | |
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>
Diffstat (limited to 'compat/mingw.h')
| -rw-r--r-- | compat/mingw.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compat/mingw.h b/compat/mingw.h index 8316938020..8b159c4447 100644 --- a/compat/mingw.h +++ b/compat/mingw.h @@ -175,6 +175,9 @@ int link(const char *oldpath, const char *newpath); int mingw_unlink(const char *pathname); #define unlink mingw_unlink +int mingw_rmdir(const char *path); +#define rmdir mingw_rmdir + int mingw_open (const char *filename, int oflags, ...); #define open mingw_open |