[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...
More information about the notifications