diff options
author | Alexander Popov <alex.popov@linux.com> | 2020-06-24 15:33:28 +0300 |
---|---|---|
committer | Will Deacon <will@kernel.org> | 2020-06-24 14:04:44 +0100 |
commit | e56404e8e475c91489b2cca57f2c1b2bc5edf6b2 (patch) | |
tree | a939ed1552ea9fc2159c864c8bee70dfa28510d7 /arch/arm64/Kbuild | |
parent | 49a3b0e1c05ab3601100a723f7ea207dc99a492a (diff) |
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>
Diffstat (limited to 'arch/arm64/Kbuild')
0 files changed, 0 insertions, 0 deletions