Handle deleting non-existant files on Windows
If we try to delete a non-existant file using del on Windows, as
can happen when running make clean, del will throw an error. Make
the Makefiles more robust by only deleting files if they exist.
diff --git a/library/Makefile b/library/Makefile
index 1764b05..501421f 100644
--- a/library/Makefile
+++ b/library/Makefile
@@ -165,5 +165,7 @@
ifndef WINDOWS
rm -f *.o libmbed* $(OBJS_CRYPTO)
else
- del /Q /F *.o libmbed* $(OBJS_CRYPTO)
+ if exist *.o del /Q /F *.o
+ if exist libmbed* del /Q /F libmbed*
+ if exist $(OBJS_CRYPTO) del /Q /F $(OBJS_CRYPTO)
endif