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 /Makefile | |
| 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 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 0 insertions, 7 deletions
@@ -635,13 +635,6 @@ endif # Tell gcc to never replace conditional load with a non-conditional one KBUILD_CFLAGS += $(call cc-option,--param=allow-store-data-races=0) -PHONY += gcc-plugins -gcc-plugins: scripts_basic -ifdef CONFIG_GCC_PLUGINS - $(Q)$(MAKE) $(build)=scripts/gcc-plugins -endif - @: - include scripts/Makefile.gcc-plugins ifdef CONFIG_READABLE_ASM |