RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity

Merge pull request #18470 from MrKevinWeiss/pr/fixmurdockloudness

Browse Source 
makefiles: quiet messages on CI
This commit is contained in:
benpicco 2022-08-22 13:33:29 +02:00 committed by GitHub
commit 6c6ebce118
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
makefiles/tools/kconfiglib.inc.mk
View File

@ -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)