Re: [PATCH] stdint, read-file: fix missing SIZE_MAX on Android

[Paul Eggert]

Thanks for the bug report and patch.  A couple of things.  First, the 
commentary is big enough so that we'd need a copyright assignment for 
this -- if you and your employer are OK with that please let me know and 
I'll start the ball rolling on the paperwork.  If this is an issue we 
can rederive just the code change (itself trivial) from the bug report 
so it's no big deal.

Second, I'd like to avoid having stdint depend on sys_types.  Does the 
attached smaller change work for you?  If so, I can push it along with 
commentary that I can write up.

stdint.diff
Description: Text Data