diff options
| author | Linus Torvalds <torvalds@linux-foundation.org> | 2020-01-02 16:46:30 -0800 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2020-01-02 16:46:30 -0800 |
| commit | 90e0a47be934644944e7c6a29b8fc561be168ee1 (patch) | |
| tree | ee9bea51719661f7833edb0d8eecbc3f39831d41 /include | |
| 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 'include')
0 files changed, 0 insertions, 0 deletions