mirror of
https://github.com/apache/nuttx.git
synced 2026-05-13 10:38:40 +08:00
cf72133d3c
Summary: - In the previous implementation, the build system stops if PICO_SDK_PATH is not set. - However, this behavior is not good for CI. Because the path is only used to generate a flash image. - This commit fixes this issue Impact: - rp2040 only Testing: - Tested with and without PICO_SDK_PATH