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) | |
download | op-kernel-dev-a519167e753e6a89476115375b65a7eb6ec485b3.zip op-kernel-dev-a519167e753e6a89476115375b65a7eb6ec485b3.tar.gz |
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 05f1e95..cae4bc5 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. |