diff options
| author | valdis.kletnieks@vt.edu <valdis.kletnieks@vt.edu> | 2018-02-04 12:01:43 -0500 |
|---|---|---|
| committer | Kees Cook <keescook@chromium.org> | 2018-02-05 17:10:10 -0800 |
| commit | 80d172431696482d9acd8d2c4ea78fed8956e2a1 (patch) | |
| tree | 819ba14d596d1244b8c78f2db7f2579b109849f4 /scripts/patch-kernel | |
| parent | d8a5b80568a9cb66810e75b182018e9edb68e8ff (diff) | |
gcc-plugins: Add include required by GCC release 8
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>
Diffstat (limited to 'scripts/patch-kernel')
0 files changed, 0 insertions, 0 deletions