From 4ebf3dcb7c7ef1673c7062c365a128a7d1ce4f75 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Fri, 1 Mar 2019 15:48:02 +0100
Subject: [PATCH] makefiles: update FLASHFILE possible values

Update the documentation to say it can also be 'ELFFILE'
The first version was setting it to EFLFILE by default but the default
behavior was removed to prevent hiding errors.

It can also be overwritten for application specific needs, like when
using 'riotboot'.
---
 Makefile.include | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile.include b/Makefile.include
index 065326ff07..642a709582 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -430,7 +430,8 @@ binfile: $(BINFILE)
 # # # Not all boards use this file for the moment
 #
 # FLASHFILE is the file used by the flasher
-# (can be overwritten to $(HEXFILE), $(BINFILE))
+# Usually set to $(ELFFILE), $(HEXFILE) or $(BINFILE) in the board/flasher
+# or application specific files
 flashfile: $(FLASHFILE)
 
 # variables used to compile and link c++