diff options
| author | Laura Abbott <labbott@redhat.com> | 2018-10-01 13:36:07 -0700 |
|---|---|---|
| committer | Laura Abbott <labbott@redhat.com> | 2018-10-03 07:22:40 -0700 |
| commit | 6fed0f232e1baee3c890f8383b98fa99acfae2b8 (patch) | |
| tree | 41a2c88ee9e79e4ad5ecce18bb8004e04aeb68be /kernel-armv7hl.config | |
| parent | 102c233f9a0bc1e67d9082e2fb1e2ea4dbcfab45 (diff) | |
| download | kernel-6fed0f232e1baee3c890f8383b98fa99acfae2b8.tar.gz kernel-6fed0f232e1baee3c890f8383b98fa99acfae2b8.tar.xz kernel-6fed0f232e1baee3c890f8383b98fa99acfae2b8.zip | |
Add support for building with gcc-plugins
This doesn't enable any plugins, only the infrastrucutre for enabling
plugins at a later date.
Diffstat (limited to 'kernel-armv7hl.config')
| -rw-r--r-- | kernel-armv7hl.config | 5 |
1 files changed, 4 insertions, 1 deletions
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 |