diff --git a/tools/Config.mk b/tools/Config.mk
index e67632f17b..5092df40ac 100644
--- a/tools/Config.mk
+++ b/tools/Config.mk
@@ -400,7 +400,6 @@ endef
 # created from scratch
 
 define ARCHIVE
-	@echo "AR (create): ${shell basename $(1)} $(2)"
 	$(Q) $(RM) $1
 	$(Q) $(AR) $1 $(2)
 endef