diff --git a/makefiles/tools/kconfiglib.inc.mk b/makefiles/tools/kconfiglib.inc.mk
index e165c36526..5f07c5ab3d 100644
--- a/makefiles/tools/kconfiglib.inc.mk
+++ b/makefiles/tools/kconfiglib.inc.mk
@@ -3,9 +3,13 @@ MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/riot_menuconfig.py
 BASE_MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/menuconfig.py
 GENCONFIG := $(RIOTTOOLS)/kconfiglib/genconfig.py
 
+ifeq ($(RIOT_CI_BUILD),1)
+  QUIETMESSAGES=\#
+endif
 $(BASE_MENUCONFIG):
-	@echo "[INFO] Kconfiglib not found - getting it"
-	@$(MAKE) -C $(RIOTTOOLS)/kconfiglib
-	@echo "[INFO] Kconfiglib downloaded"
+	@$(QUIETMESSAGES) echo "[INFO] Kconfiglib not found - getting it"
+	@$(MAKE) -C $(RIOTTOOLS)/kconfiglib > /dev/null
+	@$(QUIETMESSAGES) echo "[INFO] Kconfiglib downloaded"
+
 
 $(GENCONFIG): $(BASE_MENUCONFIG)