.

diff --git a/developer/make/target_library_cli.mk b/developer/make/target_library_cli.mk
index c644b96..954939d 100644 (file)
--- a/developer/make/target_library_cli.mk
+++ b/developer/make/target_library_cli.mk
@@ -79,7 +79,12 @@ NEED_LIB := $(strip $(OBJECT_LIB))
 LIB_ARG  := $(if $(NEED_LIB),$(LIBFILE),)   # expands to lib path only when needed
 
 .PHONY: library
-library: $(if $(NEED_LIB),$(LIBFILE),.remove_lib_if_exists)
+library: $(if $(NEED_LIB),$(LIBFILE),.remove_lib_if_exists
+
+.PHONY: .remove_lib_if_exists
+.remove_lib_if_exists:
+       @rm -f $(LIBFILE)
+)
 
 ifneq ($(NEED_LIB),)
 $(LIBFILE): $(OBJECT_LIB)