From af810add1a729e984e046105f9a321e882b32bb4 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 18:51:38 +0100
Subject: [PATCH] boards/fscopy: use FLASHFILE when using fscopy

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

diff --git a/boards/mbed_lpc1768/Makefile.include b/boards/mbed_lpc1768/Makefile.include
index 41c33bcd87..b490bb27b6 100644
--- a/boards/mbed_lpc1768/Makefile.include
+++ b/boards/mbed_lpc1768/Makefile.include
@@ -5,8 +5,8 @@ FLASHER = $(RIOTBOARD)/$(BOARD)/dist/flash.sh
 DEBUGGER =
 DEBUGSERVER =
 
-HEXFILE = $(BINFILE)
-FFLAGS = $(HEXFILE)
+FLASHFILE ?= $(BINFILE)
+FFLAGS = $(FLASHFILE)
 DEBUGGER_FLAGS =
 
 # define the default port depending on the host OS