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/12/23 05:48:33 UTC

[GitHub] [incubator-nuttx] eenurkka opened a new pull request #5064: risc-v/opensbi: Make.defs: use a wildcard for file listing

eenurkka opened a new pull request #5064:
URL: https://github.com/apache/incubator-nuttx/pull/5064


   The source directory contents of the OpenSBI directory lib/sbi may be
   listed with a one-line wildcard. This makes the Make.defs file look
   simpler. The rest of the files need to be picked one at a time.
   
   Co-authored-by: Jukka Laitinen <ju...@ssrc.tii.ae>
   Signed-off-by: Eero Nurkkala <ee...@offcode.fi>
   
   ## Summary
   
   ## Impact
   
   ## Testing
   
   


-- 
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] [incubator-nuttx] xiaoxiang781216 merged pull request #5064: risc-v/opensbi: Make.defs: use a wildcard for file listing

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


   


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