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.
This commit is contained in:
Darryl Green 2018-10-17 16:12:33 +01:00
parent 3b80ab93ce
commit 6c0f94cbd0
3 changed files with 8 additions and 3 deletions

View file

@ -200,5 +200,6 @@ clean:
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