gcc-plugins: Add include required by GCC release 8
authorvaldis.kletnieks@vt.edu <valdis.kletnieks@vt.edu>
Sun, 4 Feb 2018 17:01:43 +0000 (12:01 -0500)
committerKees Cook <keescook@chromium.org>
Tue, 6 Feb 2018 01:10:10 +0000 (17:10 -0800)
commit80d172431696482d9acd8d2c4ea78fed8956e2a1
tree819ba14d596d1244b8c78f2db7f2579b109849f4
parentd8a5b80568a9cb66810e75b182018e9edb68e8ff
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>
scripts/gcc-plugins/gcc-common.h