scripts/gcc-plugins/gcc-common.h · 5aadfdeb8de001ca04d500586e3b033404c28617 · Tobias Schramm / linux-pinebook-pro

7 years ago

gcc-plugins: Add include required by GCC release 8 · 80d17243


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>

80d17243

History

gcc-plugins: Add include required by GCC release 8

Valdis Kletnieks authored 7 years ago


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>

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

Admin message