This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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

-Y


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]