diff options
-rw-r--r-- | configs/platform-v7a/kernelconfig | 1 |
1 files changed, 0 insertions, 1 deletions
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 |