[riot-notifications] [RIOT-OS/RIOT] makefiles/info.inc.mk: fix EXTERNAL_BOARD_DIRS in info-build-json (#15841)

Jean Pierre Dudey notifications at github.com
Fri Jan 22 20:37:24 CET 2021

### Contribution description

Fixes an small typo in the `EXTERNAL_BOARD_DIRS` field in the json output that caused it to not show on the JSON output.

### Testing procedure

- `make -C examples/hello-world info-build-json --silent` and check the variable in question.

### Issues/PRs references

You can view, comment on, or merge this pull request online at:


-- Commit Summary --

  * makefiles/info.inc.mk: fix EXTERNAL_BOARD_DIRS in info-build-json

-- File Changes --

    M makefiles/info.inc.mk (2)

-- Patch Links --


You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210122/9d80e70a/attachment.htm>

More information about the notifications mailing list