Merge pull request #11699 from cladmi/pr/pic32/flashfile

boards/pic32-xx: set FLASHFILE to HEXFILE
This commit is contained in:
Kevin "Bear Puncher" Weiss 2019-06-24 11:16:39 +02:00 committed by GitHub
commit cc13558c5e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions

View File

@ -2,3 +2,5 @@ export CPU = mips_pic32mx
export CPU_MODEL=p32mx470f512h
export APPDEPS += $(RIOTCPU)/$(CPU)/$(CPU_MODEL)/$(CPU_MODEL).S
export USE_UHI_SYSCALLS = 1
FLASHFILE ?= $(HEXFILE)

View File

@ -2,3 +2,5 @@ export CPU = mips_pic32mz
export CPU_MODEL=p32mz2048efg100
export APPDEPS += $(RIOTCPU)/$(CPU)/$(CPU_MODEL)/$(CPU_MODEL).S
export USE_UHI_SYSCALLS = 1
FLASHFILE ?= $(HEXFILE)