| commit | a647f1296e927062c8a84486fd699558770aa934 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Tue Mar 10 10:36:19 2020 +0100 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Mon Mar 23 17:55:32 2020 +0100 |
| tree | 7804cc783a986441dcecd55561ba6226c65e0ca6 | |
| parent | 049fefff9063f65e69bae5b8f9ddae1e0f0ee706 [diff] |
Delete third-party objects in cleanup
diff --git a/library/Makefile b/library/Makefile index e4f92e5..92799d9 100644 --- a/library/Makefile +++ b/library/Makefile
@@ -210,7 +210,9 @@ 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