On Tue, Mar 1, 2016 at 1:19 PM, Kees Cook <keescook@xxxxxxxxxxxx> wrote: > On Tue, Mar 1, 2016 at 9:15 AM, Emese Revfy <re.emese@xxxxxxxxx> wrote: >> diff --git a/arch/Kconfig b/arch/Kconfig >> index 155e6cd..4c54ef0 100644 >> --- a/arch/Kconfig >> +++ b/arch/Kconfig >> @@ -357,6 +357,19 @@ config SECCOMP_FILTER >> >> See Documentation/prctl/seccomp_filter.txt for details. >> >> +config HAVE_GCC_PLUGINS >> + bool >> + help >> + An arch should select this symbol if it supports building with >> + GCC plugins. >> + >> +menuconfig GCC_PLUGINS >> + bool "GCC plugins" >> + depends on HAVE_GCC_PLUGINS >> + help >> + GCC plugins are loadable modules that provide extra features to the >> + compiler. They are useful for runtime instrumentation and static analysis. >> + >> config HAVE_CC_STACKPROTECTOR >> bool >> help > > endmenu is missing? Sorry, ignore my noise. However, my confusion does point on that maybe gcc plugin config should live in tools/gcc/Kconfig and be included here? -Kees -- Kees Cook Chrome OS & Brillo Security -- To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
