tools/metrics.py: Add rp2 port to table of ports that can be built.

Signed-off-by: Damien George <damien@micropython.org>
pull/7138/head
Damien George 2021-04-20 21:39:53 +10:00
rodzic 321d1897c3
commit b74dc546fc
1 zmienionych plików z 1 dodań i 0 usunięć

Wyświetl plik

@ -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"),
}