[PATCH v2 2/5] ARM: vdso: Don't use gcc plugins for building vgettimeofday.c

[Kees Cook]

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 at linux.com>

Applied to for-next/gcc-plugins.

-- 
Kees Cook