diff options
Diffstat (limited to 'win32')
| -rw-r--r-- | win32/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/win32/makefile b/win32/makefile index 894026e9a..9849ebf89 100644 --- a/win32/makefile +++ b/win32/makefile @@ -18,7 +18,7 @@ endif .SUFFIXES: .cxx ifeq ($(OS),Windows_NT) -DEL = del /q +DEL = $(if $(wildcard $(dir $(SHELL))rm.exe), $(dir $(SHELL))rm.exe -f, del /q) else DEL = rm -f endif |