[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:

  https://github.com/RIOT-OS/RIOT/pull/15841

-- Commit Summary --

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

-- File Changes --

    M makefiles/info.inc.mk (2)

-- Patch Links --

https://github.com/RIOT-OS/RIOT/pull/15841.patch
https://github.com/RIOT-OS/RIOT/pull/15841.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/15841
-------------- 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