scripts/gcc-plugin.sh · ed58c0e9eefef517aa5a547b78658e2ab4422232 · Tobias Schramm / linux-pinebook-pro

8 years ago

gcc-plugins: abort builds cleanly when not supported · ed58c0e9

Kees Cook authored 8 years ago


When the compiler doesn't support gcc plugins (either due to missing
headers or too old a version), report the problem and abort the build
instead of emitting a warning and letting the build founder with arcane
compiler errors.

Signed-off-by: Kees Cook <keescook@chromium.org>

ed58c0e9

History

gcc-plugins: abort builds cleanly when not supported

Kees Cook authored 8 years ago


When the compiler doesn't support gcc plugins (either due to missing
headers or too old a version), report the problem and abort the build
instead of emitting a warning and letting the build founder with arcane
compiler errors.

Signed-off-by: Kees Cook <keescook@chromium.org>

Code owners

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

Admin message