1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

makefiles/renode: make emulate depends on board config file

This commit is contained in:
Alexandre Abadie 2020-11-21 18:45:16 +01:00
parent d2f57c3aad
commit 9eadcb38f3
No known key found for this signature in database
GPG Key ID: 1C919A403CAE1405

View File

@ -1,6 +1,7 @@
RENODE ?= renode
RENODE_IMAGE_FILE ?= $(ELFFILE)
RENODE_BOARD_CONFIG ?= $(BOARDDIR)/dist/board.resc
EMULATORDEPS += $(RENODE_BOARD_CONFIG)
# Use renode interactive commands to specify the image file and board config
RENODE_CONFIG_FLAGS += -e "set image_file '$(RENODE_IMAGE_FILE)'"