diff options
author | Valdis Kletnieks <valdis.kletnieks@vt.edu> | 2018-02-04 12:01:43 -0500 |
---|---|---|
committer | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | 2018-09-05 09:26:42 +0200 |
commit | 616d41d1b4087a85ec1091f6a7f4460911083f44 (patch) | |
tree | 70d0f65a9438a9a387a546c4e0f9393ac98872ab /scripts/Makefile.modsign | |
parent | 73b2e7073b51de0b03ebd15c97dd3ad0c3470810 (diff) |
gcc-plugins: Add include required by GCC release 8
commit 80d172431696482d9acd8d2c4ea78fed8956e2a1 upstream.
GCC requires another #include to get the gcc-plugins to build cleanly.
Signed-off-by: Valdis Kletnieks <valdis.kletnieks@vt.edu>
Signed-off-by: Kees Cook <keescook@chromium.org>
Cc: Lance Albertson <lance@osuosl.org>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
Diffstat (limited to 'scripts/Makefile.modsign')
0 files changed, 0 insertions, 0 deletions