1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-30 08:51:19 +01:00

Merge pull request #11752 from cladmi/pr/board/native/flashfile

boards/native: define FLASHFILE
This commit is contained in:
Kevin "Bear Puncher" Weiss 2019-06-28 11:45:16 +02:00 committed by GitHub
commit 8c987fb91f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,8 +13,11 @@ else
DEBUGGER ?= gdb
endif
TERMPROG ?= $(ELFFILE)
FLASHER = true
FLASHFILE ?= $(ELFFILE)
TERMPROG ?= $(FLASHFILE)
export VALGRIND ?= valgrind
export CGANNOTATE ?= cg_annotate
export GPROF ?= gprof