nmaggioni opened a new pull request, #16855: URL: https://github.com/apache/nuttx/pull/16855
## Summary The current Makefile logic failed silently on some systems, maybe because of a different default shell (ZSH, in my case)? This resulted in builds that completed successfully but generated invalid UF2 files, which were then 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. ## Impact No more silently corrupted UF2 files if neither picotool nor pico-sdk are found. ## Testing These changes were tested on a Linux host, targeting a custom Cortex-M0+ (RP2040) board using today's NuttX master. I would anyway **encourage other people to test these changes** to ensure that they do not break anyone's workspace. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org