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

Makefile: add BINFILE to default BUILD_FILES

This commit is contained in:
Francisco Molina 2020-05-28 10:09:36 +02:00
parent e4639fc7a0
commit 47a5805434
No known key found for this signature in database
GPG Key ID: 3E94EAC3DBDEEDA8

View File

@ -531,8 +531,13 @@ ifeq (,$(FLASHFILE))
$(error FLASHFILE is not defined for this board: $(FLASHFILE))
endif
# By default always build ELFFILE and FLASHFILE
BUILD_FILES += $(ELFFILE) $(FLASHFILE)
# By default always build ELFFILE, BINFILE and FLASHFILE
ifeq ($(RIOT_CI_BUILD),1)
# Don't build BINFILE on the CI to save some computation time
BUILD_FILES += $(ELFFILE) $(FLASHFILE)
else
BUILD_FILES += $(ELFFILE) $(BINFILE) $(FLASHFILE)
endif
# variables used to compile and link c++
CPPMIX ?= $(if $(wildcard *.cpp),1,)