From 6feefa00a883f084ed803cb99ffd3fbb12dabd3b Mon Sep 17 00:00:00 2001 From: q66 Date: Mon, 22 Jun 2020 12:54:43 +0200 Subject: [PATCH] linux5.7: disable gcc plugins in ppc configs --- srcpkgs/linux5.7/files/ppc-dotconfig | 1 + srcpkgs/linux5.7/files/ppc64-dotconfig | 1 + srcpkgs/linux5.7/files/ppc64le-dotconfig | 1 + 3 files changed, 3 insertions(+) diff --git a/srcpkgs/linux5.7/files/ppc-dotconfig b/srcpkgs/linux5.7/files/ppc-dotconfig index 5f87f342da4..7ccb6840f06 100644 --- a/srcpkgs/linux5.7/files/ppc-dotconfig +++ b/srcpkgs/linux5.7/files/ppc-dotconfig @@ -525,6 +525,7 @@ 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 diff --git a/srcpkgs/linux5.7/files/ppc64-dotconfig b/srcpkgs/linux5.7/files/ppc64-dotconfig index e10d40563af..20bdd38dbc4 100644 --- a/srcpkgs/linux5.7/files/ppc64-dotconfig +++ b/srcpkgs/linux5.7/files/ppc64-dotconfig @@ -693,6 +693,7 @@ 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 diff --git a/srcpkgs/linux5.7/files/ppc64le-dotconfig b/srcpkgs/linux5.7/files/ppc64le-dotconfig index 306f3b9298d..1bdcc94c7c8 100644 --- a/srcpkgs/linux5.7/files/ppc64le-dotconfig +++ b/srcpkgs/linux5.7/files/ppc64le-dotconfig @@ -619,6 +619,7 @@ 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