diff options
| author | Kees Cook <keescook@chromium.org> | 2016-06-17 23:11:12 -0700 |
|---|---|---|
| committer | Kees Cook <keescook@chromium.org> | 2016-08-08 17:49:05 -0700 |
| commit | ed58c0e9eefef517aa5a547b78658e2ab4422232 (patch) | |
| tree | 678081bd9195ee83fc89ccf06ffd4c551d1d9d44 /scripts/ksymoops | |
| parent | d26e94149276f8c3d4911aa2c8395ba99b613c8d (diff) | |
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 'scripts/ksymoops')
0 files changed, 0 insertions, 0 deletions