diff options
| author | Kees Cook <keescook@chromium.org> | 2016-06-11 09:09:28 -0700 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.com> | 2016-07-27 00:08:54 +0200 |
| commit | a519167e753e6a89476115375b65a7eb6ec485b3 (patch) | |
| tree | 83a143dea6083302a945e17f8a2175f16d122470 /arch/Kconfig | |
| parent | 228d96c603cf53e32f672c0e459d2adbc5a4609a (diff) | |
gcc-plugins: disable under COMPILE_TEST
Since adding the gcc plugin development headers is required for the
gcc plugin support, we should ease into this new kernel build dependency
more slowly. For now, disable the gcc plugins under COMPILE_TEST so that
all*config builds will skip it.
Signed-off-by: Kees Cook <keescook@chromium.org>
Signed-off-by: Michal Marek <mmarek@suse.com>
Diffstat (limited to 'arch/Kconfig')
| -rw-r--r-- | arch/Kconfig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arch/Kconfig b/arch/Kconfig index 05f1e95b796d..cae4bc587eae 100644 --- a/arch/Kconfig +++ b/arch/Kconfig @@ -366,6 +366,7 @@ config HAVE_GCC_PLUGINS menuconfig GCC_PLUGINS bool "GCC plugins" depends on HAVE_GCC_PLUGINS + depends on !COMPILE_TEST help GCC plugins are loadable modules that provide extra features to the compiler. They are useful for runtime instrumentation and static analysis. |