[riot-notifications] [RIOT-OS/RIOT] makefiles: add new target info-board-supported (#12187)
notifications at github.com
Tue Sep 10 10:23:27 CEST 2019
The RIOT community cares a lot about code quality.
Therefore, before describing what your contribution is about, we would like
you to make sure that your modifications are compliant with the RIOT
coding conventions, see https://github.com/RIOT-OS/RIOT/wiki/Coding-conventions.
### Contribution description
Addding a new target to check whether a given board is supported by
the given application. Return 0 for yes and 1 for no.
Basically it is a short hand for `make -C <path/to/app> info-boards-supported | grep $BOARD`.
However, this might be handy for distributed automated builds, with workers that handle only a specific board and need to check if that is supported by the app.
### Testing procedure
Run `BOARD=<name> make -C <path/to/app> info-board-supported` then run `echo $?` which should give `0` if the board is supported by the app and `1` if not.
### Issues/PRs references
Examples: Fixes #1234. See also #5678. Depends on PR #9876.
Please use keywords (e.g., fixes, resolve) with the links to the issues you
resolved, this way they will be automatically closed when your pull request
is merged. See https://help.github.com/articles/closing-issues-using-keywords/.
You can view, comment on, or merge this pull request online at:
-- Commit Summary --
* makefiles: add new target info-board-supported
-- File Changes --
M Makefile.include (5)
M makefiles/info-global.inc.mk (3)
-- 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