You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@nuttx.apache.org by GitBox <gi...@apache.org> on 2021/11/18 12:12:14 UTC

[GitHub] [incubator-nuttx] malek-luky removed a comment on issue #4832: i use raspberrypi-pico,make error

malek-luky removed a comment on issue #4832:
URL: https://github.com/apache/incubator-nuttx/issues/4832#issuecomment-972368965


   I solved this error by running `sudo make` instead of make, but I am unsure if this is the correct approach.


-- 
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-unsubscribe@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org