From 6e0164be3c8472e4a29eeb8e04612adc524c652f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Tue, 25 Jun 2019 12:31:58 +0200
Subject: [PATCH] boards/mbed_lpc1768: fix file format documentation in flash

The board is flashing using a binary file and not a 'hex' file.
I did not update the documentation when renaming the variable.

The comment was copied from the other boards using 'fscopy' and a
hexfile.
---
 boards/mbed_lpc1768/dist/flash.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/boards/mbed_lpc1768/dist/flash.sh b/boards/mbed_lpc1768/dist/flash.sh
index 4ff2af9845..822fb21d31 100755
--- a/boards/mbed_lpc1768/dist/flash.sh
+++ b/boards/mbed_lpc1768/dist/flash.sh
@@ -58,7 +58,7 @@ fi
 rm -f ${MOUNT}/*.bin
 # copy new binary to device
 cp ${BINFILE} ${MOUNT}
-# make sure hexfile was written
+# make sure binary was written
 sync
 
 # unmount the device if we have manually mounted it before