[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <202001021335.14622751ED@keescook>
Date: Thu, 2 Jan 2020 13:38:15 -0800
From: Kees Cook <keescook@...omium.org>
To: Linus Torvalds <torvalds@...ux-foundation.org>
Cc: linux-kernel@...r.kernel.org, Ard Biesheuvel <ardb@...nel.org>,
Arnd Bergmann <arnd@...db.de>,
Kees Cook <keescook@...omium.org>,
Masahiro Yamada <masahiroy@...nel.org>
Subject: [GIT PULL] gcc-plugins fix for v5.5-rc5
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
Powered by blists - more mailing lists