8000 tools/metrics.py: Add rp2 port to table of ports that can be built. · micropython/micropython@b74dc54 · GitHub
[go: up one dir, main page]

Skip to content

Commit b74dc54

Browse files
committed
tools/metrics.py: Add rp2 port to table of ports that can be built.
Signed-off-by: Damien George <damien@micropython.org>
1 parent 321d189 commit b74dc54

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

tools/metrics.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -67,6 +67,7 @@ def __init__(self, name, dir, output, make_flags=None):
6767
"8": PortData("esp8266", "esp8266", "build-GENERIC/firmware.elf"),
6868
"3": PortData("esp32", "esp32", "build-GENERIC/micropython.elf"),
6969
"r": PortData("nrf", "nrf", "build-pca10040/firmware.elf"),
70+
"p": PortData("rp2", "rp2", "build-PICO/firmware.elf"),
7071
"d": PortData("samd", "samd", "build-ADAFRUIT_ITSYBITSY_M4_EXPRESS/firmware.elf"),
7172
}
7273

0 commit comments

Comments
 (0)
0