This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] Install sanitizer public headers (fix for PR sanitizer/61100)
- From: Yury Gribov <y dot gribov at samsung dot com>
- To: Jakub Jelinek <jakub at redhat dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 14 May 2014 12:34:33 +0400
- Subject: Re: [PATCH] Install sanitizer public headers (fix for PR sanitizer/61100)
- Authentication-results: sourceware.org; auth=none
- References: <53724493 dot 2070305 at samsung dot com> <20140514064603 dot GC10386 at tucnak dot redhat dot com>
On 05/14/2014 10:46 AM, Jakub Jelinek wrote:
Thanks, submitted in r210413.