From a647f1296e927062c8a84486fd699558770aa934 Mon Sep 17 00:00:00 2001
From: Gilles Peskine <Gilles.Peskine@arm.com>
Date: Tue, 10 Mar 2020 10:36:19 +0100
Subject: [PATCH] Delete third-party objects in cleanup

---
 library/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/library/Makefile b/library/Makefile
index e4f92e51a..92799d904 100644
--- a/library/Makefile
+++ b/library/Makefile
@@ -210,7 +210,9 @@ libmbedcrypto.$(DLEXT): | libmbedcrypto.a
 clean:
 ifndef WINDOWS
 	rm -f *.o libmbed*
+	rm -f $(THIRDPARTY_CRYPTO_OBJECTS)
 else
 	if exist *.o del /Q /F *.o
 	if exist libmbed* del /Q /F libmbed*
+	del /Q /F del_errors_out_if_the_file_list_is_empty_but_not_if_a_file_does_not_exist $(subst /,\,$(THIRDPARTY_CRYPTO_OBJECTS))
 endif