diff --git a/tools/Config.mk b/tools/Config.mk
index 6adbebf21a6..ec27354f657 100644
--- a/tools/Config.mk
+++ b/tools/Config.mk
@@ -337,9 +337,7 @@ endef
 # created from scratch
 
 define ARCHIVE
-	@echo "AR (create): ${shell basename $(1)} $(2)"
-	$(Q) $(RM) $1
-	$(Q) $(AR) $1 $(2)
+	$(AR) $1 $(2)
 endef
 
 # PRELINK - Prelink a list of files