From 916fb2112424667b366b581fd59eeec5e783c17e Mon Sep 17 00:00:00 2001 From: Robert Schwebel Date: Mon, 8 Mar 2021 10:23:54 +0100 Subject: platform-v7a: oldconfig kernel The kernel config is currently not clean. Run ptxdist oldconfig kernel. Signed-off-by: Robert Schwebel --- configs/platform-v7a/kernelconfig | 1 - 1 file changed, 1 deletion(-) diff --git a/configs/platform-v7a/kernelconfig b/configs/platform-v7a/kernelconfig index 24d5b7c..b32a368 100644 --- a/configs/platform-v7a/kernelconfig +++ b/configs/platform-v7a/kernelconfig @@ -769,7 +769,6 @@ CONFIG_ARCH_HAS_GCOV_PROFILE_ALL=y # end of GCOV-based kernel profiling CONFIG_HAVE_GCC_PLUGINS=y -# CONFIG_GCC_PLUGINS is not set # end of General architecture-dependent options CONFIG_RT_MUTEXES=y -- cgit v1.2.3