diff options
| author | Kees Cook <keescook@chromium.org> | 2016-06-18 09:11:12 +0300 |
|---|---|---|
| committer | Kees Cook <keescook@chromium.org> | 2016-08-09 03:49:05 +0300 |
| commit | ed58c0e9eefef517aa5a547b78658e2ab4422232 (patch) | |
| tree | 678081bd9195ee83fc89ccf06ffd4c551d1d9d44 /scripts/gdb/linux/cpus.py | |
| parent | d26e94149276f8c3d4911aa2c8395ba99b613c8d (diff) | |
| download | linux-ed58c0e9eefef517aa5a547b78658e2ab4422232.tar.xz | |
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/gdb/linux/cpus.py')
0 files changed, 0 insertions, 0 deletions
