]> git.baikalelectronics.ru Git - kernel.git/commit
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)
commit0e2c533d87416cb4c6575bb4fc2dae2239f86b34
treea939ed1552ea9fc2159c864c8bee70dfa28510d7
parent9d1e705373f78689ea13caba02bbbde07fbbb68e
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