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 2020/11/03 13:40:24 UTC

[GitHub] [incubator-nuttx-testing] btashton opened a new pull request #78: CI: Add Linux headers to docker image

btashton opened a new pull request #78:
URL: https://github.com/apache/incubator-nuttx-testing/pull/78


   ## Summary
   Add Linux headers to docker image.  This supports simulator targets that are Linux specific such as https://github.com/apache/incubator-nuttx/pull/2158
   
   This also adds a block entry in the testlists for macOS for any sim config that starts with sim:linux this way we don't have to keep adding entries all the time if they are Linux specific.
   
   


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

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

[GitHub] [incubator-nuttx-testing] jerpelea commented on pull request #78: CI: Add Linux headers to docker image

Posted by GitBox <gi...@apache.org>.
jerpelea commented on pull request #78:
URL: https://github.com/apache/incubator-nuttx-testing/pull/78#issuecomment-720942775


   LGTM
   


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

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

[GitHub] [incubator-nuttx-testing] jerpelea merged pull request #78: CI: Add Linux headers to docker image

Posted by GitBox <gi...@apache.org>.
jerpelea merged pull request #78:
URL: https://github.com/apache/incubator-nuttx-testing/pull/78


   


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

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