From 1ba387672228236e0331743ce111aa1252e37391 Mon Sep 17 00:00:00 2001
From: Francisco Molina <femolina@uc.cl>
Date: Thu, 28 May 2020 10:09:36 +0200
Subject: [PATCH] Makefile: add BINFILE to default BUILD_FILES

---
 Makefile.include | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Makefile.include b/Makefile.include
index 8dd0ae15848bd..93effd5ac555e 100644
--- 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,)