Merge pull request #11696 from cladmi/pr/pyocd/use_flashfile

makefiles/pyocd.inc.mk use FLASHFILE
This commit is contained in:
Kevin "Bear Puncher" Weiss 2019-06-17 09:48:48 +02:00 committed by GitHub
commit 2c0b2f3982
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,8 +3,8 @@ DEBUGGER = $(RIOTBASE)/dist/tools/pyocd/pyocd.sh
DEBUGSERVER = $(RIOTBASE)/dist/tools/pyocd/pyocd.sh DEBUGSERVER = $(RIOTBASE)/dist/tools/pyocd/pyocd.sh
RESET ?= $(RIOTBASE)/dist/tools/pyocd/pyocd.sh RESET ?= $(RIOTBASE)/dist/tools/pyocd/pyocd.sh
export OFLAGS ?= -O ihex FLASHFILE ?= $(HEXFILE)
FFLAGS ?= flash $(HEXFILE) FFLAGS ?= flash $(FLASHFILE)
DEBUGGER_FLAGS ?= debug $(ELFFILE) DEBUGGER_FLAGS ?= debug $(ELFFILE)
DEBUGSERVER_FLAGS ?= debug-server DEBUGSERVER_FLAGS ?= debug-server
RESET_FLAGS ?= reset RESET_FLAGS ?= reset