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

[Konstantin Serebryany]

On Wed, May 14, 2014 at 11:47 AM, Yury Gribov <y.gri...@samsung.com> wrote:
> On 05/14/2014 10:29 AM, Konstantin Serebryany wrote:
>>>
>>> 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.
>
>
> True... But this seems to be the preferred way in GCC (other runtimes also
> list headers explicitly).
Ok, thanks!
>
> -Y