diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2023-02-21 16:24:17 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-02-23 09:50:07 +1100 |
| commit | 8e430a7d43ea6e32fa4c16cb45bc533704a8b996 (patch) | |
| tree | 4076c417e547890bfce3dc9f682fbd7f902ebb31 /tests/unix/extra_coverage.py | |
| parent | 742037ec3836c56baf51289288ba954d901e728a (diff) | |
rp2/Makefile: Allow specifying BOARD_DIR on make command line.
This matches the behavior of the makefile ports but implemented for CMake,
making it easy to specify custom board definitions.
This work was funded through GitHub Sponsors.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'tests/unix/extra_coverage.py')
0 files changed, 0 insertions, 0 deletions