diff options
author | Linus Torvalds <torvalds@linux-foundation.org> | 2020-01-03 03:46:30 +0300 |
---|---|---|
committer | Linus Torvalds <torvalds@linux-foundation.org> | 2020-01-03 03:46:30 +0300 |
commit | 90e0a47be934644944e7c6a29b8fc561be168ee1 (patch) | |
tree | ee9bea51719661f7833edb0d8eecbc3f39831d41 /usr | |
parent | bf6dd9a58ebaba2608d2aebd2a7a704014121f16 (diff) | |
parent | a5b0dc5a46c221725c43bd9b01570239a4cd78b1 (diff) |
Merge tag 'gcc-plugins-v5.5-rc5' of git://git.kernel.org/pub/scm/linux/kernel/git/kees/linux
Pull gcc-plugins fix from Kees Cook:
"Build flexibility fix: allow builds to disable plugins even when
plugins available (Arnd Bergmann)"
* tag 'gcc-plugins-v5.5-rc5' of git://git.kernel.org/pub/scm/linux/kernel/git/kees/linux:
gcc-plugins: make it possible to disable CONFIG_GCC_PLUGINS again
Diffstat (limited to 'usr')
0 files changed, 0 insertions, 0 deletions