diff options
| author | Damien George <damien@micropython.org> | 2024-06-04 09:52:31 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-06-04 10:54:35 +1000 |
| commit | 0e19286c944d12a0eb7b15f004e368a09affbccd (patch) | |
| tree | b1a279346e9a78495335e5f7867f8800a6485c3b /extmod/modnetwork.c | |
| parent | 932f76c6ba64c5a3e68de3324556d9979f09303b (diff) | |
tools/metrics.py: Change rp2 board selection to RPI_PICO_W.
This tool is used to compute size differences in the firmware (eg as part
of CI), but it doesn't currently check any firmware that has bare-metal
lwIP/networking, making it hard to see how firmware size changes when
networking related changes are made.
So, change the board selection for the rp2 port to RPI_PICO_W. Changes in
size to standard RPI_PICO firmware will be very similar to other bare-metal
boards like PYBV10.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'extmod/modnetwork.c')
0 files changed, 0 insertions, 0 deletions