From 6fed0f232e1baee3c890f8383b98fa99acfae2b8 Mon Sep 17 00:00:00 2001 From: Laura Abbott Date: Mon, 1 Oct 2018 13:36:07 -0700 Subject: Add support for building with gcc-plugins This doesn't enable any plugins, only the infrastrucutre for enabling plugins at a later date. --- kernel-armv7hl.config | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'kernel-armv7hl.config') diff --git a/kernel-armv7hl.config b/kernel-armv7hl.config index 7c85eb2fd..c1dd5c7ec 100644 --- a/kernel-armv7hl.config +++ b/kernel-armv7hl.config @@ -1996,7 +1996,10 @@ CONFIG_GAMEPORT_FM801=m CONFIG_GAMEPORT_L4=m CONFIG_GAMEPORT=m CONFIG_GAMEPORT_NS558=m -# CONFIG_GCC_PLUGINS is not set +# CONFIG_GCC_PLUGIN_LATENT_ENTROPY is not set +# CONFIG_GCC_PLUGIN_RANDSTRUCT is not set +# CONFIG_GCC_PLUGIN_STRUCTLEAK is not set +CONFIG_GCC_PLUGINS=y # CONFIG_GCOV_KERNEL is not set # CONFIG_GDB_SCRIPTS is not set CONFIG_GENERIC_ADC_BATTERY=m -- cgit