1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 09:52:43 +01:00

Merge pull request #15841 from btcven/2020_01_22-fix-boards

makefiles/info.inc.mk: fix EXTERNAL_BOARD_DIRS in info-build-json
This commit is contained in:
Koen Zandberg 2021-01-23 23:04:11 +01:00 committed by GitHub
commit 67e5a37495
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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)",'