]> 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)
commit3d6f01149ec5860d67660f3f910a5d081523e308
treea939ed1552ea9fc2159c864c8bee70dfa28510d7
parent425de49ac12ccfb59dbbcd041097f67272e51185
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