JianyuWang0623 opened a new pull request, #14709: URL: https://github.com/apache/nuttx/pull/14709
## Summary 1. The pre-installed "picotool" should not depend on `PICO_SDK_PATH` 2. Perhaps we should compile "picotool" from `PICO_SDK_PATH` if it was not found in `$PATH` ## Impact boards/arm/rp2040/* ## Testing 1. Selftest ```bash # Board: waveshare-rp2040-lcd-1.28:usbnsh # a. The "picotool" is pre-installed or built from `PICO_SDK_PATH` LD: nuttx Generating: nuttx.uf2 Done. # b. `PICO_SDK_PATH` is specified but "picotool" is not installed LD: nuttx Building: picotool Generating: nuttx.uf2 Done. # c. Neither "picotool" nor `PICO_SDK_PATH` are installed/specified LD: nuttx PICO_SDK_PATH/picotool must be specified/installed for flash boot ``` 2. NuttX CI -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
