mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-12-10 07:14:36 +01:00
Make one of the messages more accurate, in the event that the user changes `PICO_DEFAULT_RP2350_PLATFORM` |
||
|---|---|---|
| .. | ||
| Platform | ||
| preload | ||
| generic_board.cmake | ||
| pico_pre_load_platform.cmake | ||
| pico_pre_load_toolchain.cmake | ||
| pico_utils.cmake | ||