diff options
author | valdis.kletnieks@vt.edu | 2018-02-04 12:01:43 -0500 |
---|---|---|
committer | Kees Cook | 2018-02-05 17:10:10 -0800 |
commit | 80d172431696482d9acd8d2c4ea78fed8956e2a1 (patch) | |
tree | 819ba14d596d1244b8c78f2db7f2579b109849f4 /scripts/gcc-plugins/gcc-common.h | |
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/gcc-plugins/gcc-common.h')
-rw-r--r-- | scripts/gcc-plugins/gcc-common.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/gcc-plugins/gcc-common.h b/scripts/gcc-plugins/gcc-common.h index ffd1dfaa1cc1..f46750053377 100644 --- a/scripts/gcc-plugins/gcc-common.h +++ b/scripts/gcc-plugins/gcc-common.h @@ -97,6 +97,10 @@ #include "predict.h" #include "ipa-utils.h" +#if BUILDING_GCC_VERSION >= 8000 +#include "stringpool.h" +#endif + #if BUILDING_GCC_VERSION >= 4009 #include "attribs.h" #include "varasm.h" |