[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gcc
Subject:    Re: [PATCH v2 2/5] ARM: vdso: Don't use gcc plugins for building vgettimeofday.c
From:       Kees Cook via Gcc <gcc () gcc ! gnu ! org>
Date:       2020-06-24 14:52:27
Message-ID: 202006240752.9114041C () keescook
[Download RAW message or body]

On Wed, Jun 24, 2020 at 03:33:27PM +0300, Alexander Popov wrote:
> Don't use gcc plugins for building arch/arm/vdso/vgettimeofday.c to
> avoid unneeded instrumentation.
> 
> Signed-off-by: Alexander Popov <alex.popov@linux.com>

Applied to for-next/gcc-plugins.

-- 
Kees Cook
[prev in list] [next in list] [prev in thread] [next in thread]