| commit | 6c0f94cbd0ede1dad6383ea27a8d8569123afefc | [log] [tgz] |
|---|---|---|
| author | Darryl Green <darryl.green@arm.com> | Wed Oct 17 16:12:33 2018 +0100 |
| committer | Darryl Green <darryl.green@arm.com> | Tue Oct 23 12:03:31 2018 +0100 |
| tree | 9dfd52703b10c0107fd0aa1f56147b26cde3fe97 | |
| parent | 3b80ab93ce0c6e173c773622f77b2899c949ef0b [diff] |
Add better handling when deleting files on Windows Windows complains if you try to delete a file that doesn't exist. Makefiles now check if the files exist before trying to delete them.
diff --git a/library/Makefile b/library/Makefile index f4b39bd..cf6750d 100644 --- a/library/Makefile +++ b/library/Makefile
@@ -200,5 +200,6 @@ ifndef WINDOWS rm -f *.o libmbed* else - del /Q /F *.o libmbed* + if exist *.o del /Q /F *.o + if exist libmbed* del /Q /F libmbed* endif