1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 05:32:45 +01:00

microbit/flash: get BINFILE from cli

This commit is contained in:
Gaëtan Harter 2018-03-26 18:32:05 +02:00
parent 8b2ff285be
commit 4ef7511b7e
No known key found for this signature in database
GPG Key ID: 76DF6BCF1B1F883B
2 changed files with 3 additions and 1 deletions

View File

@ -10,7 +10,7 @@ PORT_DARWIN ?= $(firstword $(sort $(wildcard /dev/tty.SLAB_USBtoUART*)))
PROGRAMMER ?= fscopy
ifeq (fscopy,$(PROGRAMMER))
export FFLAGS =
export FFLAGS = $(HEXFILE)
export DEBUGGER_FLAGS =
export FLASHER = $(RIOTBOARD)/$(BOARD)/dist/flash.sh

View File

@ -18,6 +18,8 @@ OS=`uname`
DID_MOUNT=false
NAME="MICROBIT"
HEXFILE=$1
# set the mount path depending on the OS
if [ ${OS} = "Linux" ]
then