You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@mynewt.apache.org by GitBox <gi...@apache.org> on 2022/02/17 06:31:57 UTC
[GitHub] [mynewt-newt] andrzej-kaczmarek opened a new pull request #453: Skip include dirs that do not exist
andrzej-kaczmarek opened a new pull request #453:
URL: https://github.com/apache/mynewt-newt/pull/453
It does not really matter for build process, but makes debugging build
issues easier as it does not clutter command line with tons of unused
include directories.
--
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@mynewt.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
[GitHub] [mynewt-newt] andrzej-kaczmarek merged pull request #453: Skip include dirs that do not exist
Posted by GitBox <gi...@apache.org>.
andrzej-kaczmarek merged pull request #453:
URL: https://github.com/apache/mynewt-newt/pull/453
--
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@mynewt.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org