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 2022/01/04 16:53:09 UTC

[GitHub] [incubator-nuttx] Ouss4 commented on pull request #5163: Rename `tools/Makefile.*` to have the `.mk` extension

Ouss4 commented on pull request #5163:
URL: https://github.com/apache/incubator-nuttx/pull/5163#issuecomment-1004992994


   @AlanRosenthal we've got sone chicken'n'egg conflicts here. :)
   Now that https://github.com/apache/incubator-nuttx/pull/5147 is merged, this PR has conflicts.  It will also have the another conflict when https://github.com/apache/incubator-nuttx/pull/5162 is merged.


-- 
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