diff --git a/makefiles/buildtests.inc.mk b/makefiles/buildtests.inc.mk index 89e3af8b6228e664ae67388974e28b71fb265858..e67f9f4982098093d3c02d2db2abff912b616dc1 100644 --- a/makefiles/buildtests.inc.mk +++ b/makefiles/buildtests.inc.mk @@ -1,5 +1,7 @@ .PHONY: buildtest +BUILDTEST_MAKE_REDIRECT ?= >/dev/null 2>&1 + ifeq ($(BUILD_IN_DOCKER),1) buildtest: ..in-docker-container else @@ -9,7 +11,7 @@ buildtest: for board in $(BOARDS); do \ $(COLOR_ECHO) -n "Building for $$board ... " ; \ BOARD=$${board} RIOT_CI_BUILD=1 RIOT_VERSION_OVERRIDE=buildtest \ - $(MAKE) clean all -j $(NPROC) >/dev/null 2>&1; \ + $(MAKE) clean all -j $(NPROC) $(BUILDTEST_MAKE_REDIRECT); \ RES=$$? ; \ if [ $$RES -eq 0 ]; then \ $(COLOR_ECHO) "$(COLOR_GREEN)success.$(COLOR_RESET)" ; \