On Tue, 1 Mar 2016 13:34:04 -0800 Kees Cook <keescook@xxxxxxxxxxxx> wrote: > 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? I don't know, there is no Kconfig under the tools subdirectory yet. Michal Marek, could you please tell me how you would like it? -- Emese -- 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
