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

Posted to commits@nuttx.apache.org by "anchao (via GitHub)" <gi...@apache.org> on 2023/08/25 04:59:02 UTC

[GitHub] [nuttx] anchao opened a new pull request, #10395: make/archive: Use the full path name when matching or storing names in the archive

anchao opened a new pull request, #10395:
URL: https://github.com/apache/nuttx/pull/10395

   ## Summary
   
   make/archive: Use the full path name when matching or storing names in the archive
   
   This pr will avoid targets with the same name can not be archive in the same library
   
   Signed-off-by: chao an <an...@xiaomi.com>
   
   
   ## Impact
   
   N/A
   
   ## Testing
   
   ci-check


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

[GitHub] [nuttx] xiaoxiang781216 merged pull request #10395: make/archive: Use the full path name when matching or storing names in the archive

Posted by "xiaoxiang781216 (via GitHub)" <gi...@apache.org>.

xiaoxiang781216 merged PR #10395:
URL: https://github.com/apache/nuttx/pull/10395


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