arm64: vdso: Don't use gcc plugins for building vgettimeofday.c
authorAlexander Popov <alex.popov@linux.com>
Wed, 24 Jun 2020 12:33:28 +0000 (15:33 +0300)
committerWill Deacon <will@kernel.org>
Wed, 24 Jun 2020 13:04:44 +0000 (14:04 +0100)
commite56404e8e475c91489b2cca57f2c1b2bc5edf6b2
treea939ed1552ea9fc2159c864c8bee70dfa28510d7
parent49a3b0e1c05ab3601100a723f7ea207dc99a492a
arm64: vdso: Don't use gcc plugins for building vgettimeofday.c

Don't use gcc plugins for building arch/arm64/kernel/vdso/vgettimeofday.c
to avoid unneeded instrumentation.

Signed-off-by: Alexander Popov <alex.popov@linux.com>
Link: https://lore.kernel.org/r/20200624123330.83226-4-alex.popov@linux.com
Signed-off-by: Will Deacon <will@kernel.org>
arch/arm64/kernel/vdso/Makefile