diff options
| author | Damien George <damien@micropython.org> | 2021-04-20 21:39:53 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-04-20 21:39:53 +1000 |
| commit | b74dc546fc2d7d04853db3acc4dc6ed92cc77f67 (patch) | |
| tree | 811f60b4778805a7b2ec14f94cbf58cb8fadb365 | |
| parent | 321d1897c34f16243edf2c94913d7cf877a013d1 (diff) | |
tools/metrics.py: Add rp2 port to table of ports that can be built.
Signed-off-by: Damien George <damien@micropython.org>
| -rwxr-xr-x | tools/metrics.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/metrics.py b/tools/metrics.py index 98291e25a..c857d0733 100755 --- a/tools/metrics.py +++ b/tools/metrics.py @@ -67,6 +67,7 @@ port_data = { "8": PortData("esp8266", "esp8266", "build-GENERIC/firmware.elf"), "3": PortData("esp32", "esp32", "build-GENERIC/micropython.elf"), "r": PortData("nrf", "nrf", "build-pca10040/firmware.elf"), + "p": PortData("rp2", "rp2", "build-PICO/firmware.elf"), "d": PortData("samd", "samd", "build-ADAFRUIT_ITSYBITSY_M4_EXPRESS/firmware.elf"), } |