mirror of
https://github.com/apache/nuttx.git
synced 2025-12-08 02:32:54 +08:00
86c466b6bc
Some checks failed
Build Documentation / build-html (push) Has been cancelled
The current logic failed silently on some systems, maybe because of a different default shell? This resulted in builds that completed successfully but generated invalid UF2 files, which were refused by the uC bootloader. Now the check is properly enforced and picotool is either found in the $PATH or built from the pico-sdk source. Signed-off-by: Niccolò Maggioni <nicco.maggioni+nuttx@gmail.com>