From 451b129315779096a208b264e9cd98b8f608f63e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Wed, 19 Dec 2018 19:21:45 +0100
Subject: [PATCH] boards/f4vi1: use FLASHFILE for boards using st-flash

Update to use FLASHFILE as file to be flashed on the board.
---
 boards/f4vi1/Makefile.include | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/boards/f4vi1/Makefile.include b/boards/f4vi1/Makefile.include
index 8ac44da078..5d01c76723 100644
--- a/boards/f4vi1/Makefile.include
+++ b/boards/f4vi1/Makefile.include
@@ -18,6 +18,6 @@ DEBUGGER = $(RIOTBOARD)/$(BOARD)/dist/debug.sh
 DEBUGSERVER = st-util
 
 # define st-flash parameters
-HEXFILE = $(BINFILE)
-FFLAGS = write $(HEXFILE) 0x8000000
+FLASHFILE ?= $(BINFILE)
+FFLAGS = write $(FLASHFILE) 0x8000000
 DEBUGGER_FLAGS = $(RIOTBOARD)/$(BOARD)/dist/gdb.conf $(ELFFILE)