diff options
author | Dominik Riebeling <Dominik.Riebeling@gmail.com> | 2014-01-05 17:08:50 +0100 |
---|---|---|
committer | Dominik Riebeling <Dominik.Riebeling@gmail.com> | 2014-01-05 17:08:50 +0100 |
commit | 17a1867c9ca8f22c5e2f2bb6b8228cad273527a9 (patch) | |
tree | bb305152fd7f234b50bc85797bf055ce4000c7e1 | |
parent | 82b30de20f63588350cf45f61d30ea9814fb2bd4 (diff) | |
download | rockbox-17a1867.tar.gz rockbox-17a1867.zip |
Fix rm function on Windows once more.
Windows del doesn't handle a non-existing folder gracefully, so check for
existence first.
Change-Id: I9c401f3f3a3e1e01b80d29e335256fbf3db22d35
-rw-r--r-- | rbutil/libtools.make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rbutil/libtools.make b/rbutil/libtools.make index 0be3fe91b6..4623808f94 100644 --- a/rbutil/libtools.make +++ b/rbutil/libtools.make @@ -23,7 +23,7 @@ endif TOP := $(dir $(lastword $(MAKEFILE_LIST))) ifeq ($(OS),Windows_NT) mkdir = if not exist $(subst /,\,$(1)) mkdir $(subst /,\,$(1)) -rm = del /q /s $(subst /,\,$(1)) +rm = if exist $(subst /,\,$(1)) del /q /s $(subst /,\,$(1)) else mkdir = mkdir -p $(1) rm = rm -rf $(1) |