summaryrefslogtreecommitdiffstats
path: root/scripts/gcc-plugins/Makefile
diff options
context:
space:
mode:
authorKees Cook <keescook@chromium.org>2016-06-18 08:11:12 +0200
committerKees Cook <keescook@chromium.org>2016-08-09 02:49:05 +0200
commited58c0e9eefef517aa5a547b78658e2ab4422232 (patch)
tree678081bd9195ee83fc89ccf06ffd4c551d1d9d44 /scripts/gcc-plugins/Makefile
parentkbuild: no gcc-plugins during cc-option tests (diff)
downloadlinux-ed58c0e9eefef517aa5a547b78658e2ab4422232.tar.xz
linux-ed58c0e9eefef517aa5a547b78658e2ab4422232.zip
gcc-plugins: abort builds cleanly when not supported
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>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions