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

Merge pull request #9741 from cladmi/pr/make/buildtest/override_redirection

makefiles/buildtests.inc.mk: allow overwriting make output redirection
This commit is contained in:
Gaëtan Harter 2018-08-10 10:31:12 +02:00 committed by GitHub
commit feb3912c3d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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)" ; \