From 9b4688bab12d11002d509eb08dd489db6f4af369 Mon Sep 17 00:00:00 2001 From: Jean Pierre Dudey Date: Fri, 22 Jan 2021 20:33:38 +0100 Subject: [PATCH] makefiles/info.inc.mk: fix EXTERNAL_BOARD_DIRS in info-build-json Signed-off-by: Jean Pierre Dudey --- makefiles/info.inc.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefiles/info.inc.mk b/makefiles/info.inc.mk index 27e387ac20..525388355e 100644 --- a/makefiles/info.inc.mk +++ b/makefiles/info.inc.mk @@ -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)",'