1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-26 15:03:53 +01:00

Merge pull request #14159 from fjmolinas/pr_build_bin

Makefile: add BINFILE to default BUILD_FILES
This commit is contained in:
Alexandre Abadie 2020-05-28 12:01:43 +02:00 committed by GitHub
commit 86e319a6f9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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