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/03/23 02:24:18 UTC

[GitHub] [incubator-nuttx] xiaoxiang781216 commented on pull request #5826: tools/jlink: Change the type of pid from uint16_t to uint32_t

xiaoxiang781216 commented on pull request #5826:
URL: https://github.com/apache/incubator-nuttx/pull/5826#issuecomment-1075848175


   > Why not use pid_t directly instead of uint32_t?
   > 
   > e.g.,
   > 
   > ```
   > static int get_pid(struct plugin_priv_s *priv, uint32_t idx, pid_t *pid)
   > ```
   
   jlink_nuttx.c is built on host side, pid_t typedef on macOS/Linux may different from NuttX.


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