curuvar commented on issue #7022: URL: https://github.com/apache/incubator-nuttx/issues/7022#issuecomment-1238872921
I don't know how to update the download script. If I knew where it was I could probably figure that out, but I don't even know that. For my build here I just grabbed the latest pico-sdk from https://github.com/raspberrypi/pico-sdk and set the PICO_SDK_PATH environment variable to point to it. -- 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
