Makefile: add BINFILE to default BUILD_FILES

RIOT-OS · May 28, 2020 · 1ba3876 · 1ba3876
1 parent e4639fc
commit 1ba3876
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/Makefile.include b/Makefile.include
@@ -532,7 +532,12 @@ ifeq (,$(FLASHFILE))
 endif
 
 # By default always build ELFFILE and FLASHFILE
-BUILD_FILES += $(ELFFILE) $(FLASHFILE)
+ifeq ($(RIOT_CI_BUILD),1)
+  BUILD_FILES += $(ELFFILE) $(FLASHFILE)
+else
+  # Also build BINFILE when not on CI
+  BUILD_FILES += $(ELFFILE) $(BINFILE) $(FLASHFILE)
+ endif
 
 # variables used to compile and link c++
 CPPMIX ?= $(if $(wildcard *.cpp),1,)