mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-01-17 04:52:59 +01:00
makefiles/info.inc.mk: fix EXTERNAL_BOARD_DIRS in info-build-json
Signed-off-by: Jean Pierre Dudey <me@jeandudey.tech>
This commit is contained in:
parent
46337efd93
commit
9b4688bab1
@ -146,7 +146,7 @@ info-build-json:
|
||||
@echo '"BOARDDIR": "$(BOARDDIR)",'
|
||||
@echo '"RIOTCPU": "$(RIOTCPU)",'
|
||||
@echo '"RIOTPKG": "$(RIOTPKG)",'
|
||||
@echo '"EXTERNAL_BOARD_DIRS": $(call json_string_or_null $(EXTERNAL_BOARD_DIRS)),'
|
||||
@echo '"EXTERNAL_BOARD_DIRS": $(call json_string_or_null,$(EXTERNAL_BOARD_DIRS)),'
|
||||
@echo '"BINDIR": "$(BINDIR)",'
|
||||
@echo '"ELFFILE": "$(ELFFILE)",'
|
||||
@echo '"HEXFILE": "$(HEXFILE)",'
|
||||
|
Loading…
Reference in New Issue
Block a user