btashton commented on pull request #2735: URL: https://github.com/apache/incubator-nuttx/pull/2735#issuecomment-768425954
> @btashton regarding your comments, is your concern download size or having include flags for these external HALs? While the flags would also apply for arch-level source code, this is the only file where these headers would be included. Maybe it is possible to have these include flags be set for this source file only? w.r.t. download size, I'm not sure it is possible to download only parts of a repo from GitHub. Let me take a look this evening when I do a review/test. ---------------------------------------------------------------- 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: us...@infra.apache.org
