Re: [PATCH] Install sanitizer public headers (fix for PR sanitizer/61100)

[Konstantin Serebryany]

On Wed, May 14, 2014 at 9:18 AM, Yury Gribov <y.gri...@samsung.com> wrote:
> On 05/14/2014 08:54 AM, Konstantin Serebryany wrote:
>> Shouldn't we just install the entire include/sanitizer directory?
>
> Well, I'd say we should only install headers for components that are
> supported by target platform.
maybe yes. It just complicates the patch somewhat.
looks good to me, but you probably want to hear from someone more
knowledgeable in these files.
>
> -Y