[GIT PULL] gcc-plugins fix for v5.5-rc5
From: Kees Cook
Date: Thu Jan 02 2020 - 16:38:21 EST
Hi Linus,
Please pull this gcc-plugins fix for v5.5-rc5. This change will make
some builder's lives easier again for build configuration testing
with/without gcc-plugins. Masahiro asked that it go via my tree, so here
it is! :)
Thanks!
-Kees
The following changes since commit fd6988496e79a6a4bdb514a4655d2920209eb85d:
Linux 5.5-rc4 (2019-12-29 15:29:16 -0800)
are available in the Git repository at:
https://git.kernel.org/pub/scm/linux/kernel/git/kees/linux.git tags/gcc-plugins-v5.5-rc5
for you to fetch changes up to a5b0dc5a46c221725c43bd9b01570239a4cd78b1:
gcc-plugins: make it possible to disable CONFIG_GCC_PLUGINS again (2020-01-02 13:30:14 -0800)
----------------------------------------------------------------
gcc-plugins build flexibility fix
- Allow builds to disable plugins even when plugins available (Arnd Bergmann)
----------------------------------------------------------------
Arnd Bergmann (1):
gcc-plugins: make it possible to disable CONFIG_GCC_PLUGINS again
scripts/gcc-plugins/Kconfig | 9 ++++-----
1 file changed, 4 insertions(+), 5 deletions(-)
--
Kees Cook