[GIT PULL] gcc-plugins fix for v5.5-rc5

* [GIT PULL] gcc-plugins fix for v5.5-rc5
@ 2020-01-02 21:38 Kees Cook
  2020-01-03  1:25 ` pr-tracker-bot
  0 siblings, 1 reply; 2+ messages in thread
From: Kees Cook @ 2020-01-02 21:38 UTC (permalink / raw)
  To: Linus Torvalds
  Cc: linux-kernel, Ard Biesheuvel, Arnd Bergmann, Kees Cook, Masahiro Yamada

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

^ permalink raw reply	[flat|nested] 2+ messages in thread