[riot-notifications] [RIOT-OS/RIOT] tools/insufficient_memory: add clone_board.sh (#15885)

benpicco notifications at github.com
Fri Jan 29 13:21:15 CET 2021

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

When adding a board that has the same MCU and a similar configuration as an existing board, we can just add it to the same Makefile.ci files without having to build everything.

### Testing procedure

run e.g

    dist/tools/insufficient_memory/clone_board.sh microduino-corerf zigduino

### 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 --

  * tools/insufficient_memory: add clone_board.sh

-- File Changes --

    A dist/tools/insufficient_memory/clone_board.sh (18)

-- 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/20210129/4e33095d/attachment.htm>

More information about the notifications mailing list