On Fri, Feb 21, 2020 at 11:48:43AM +1100, Michael Ellerman wrote: > Add an example of how to install the necessary packages for GCC > plugins on Fedora. > > Signed-off-by: Michael Ellerman <mpe@xxxxxxxxxxxxxx> Reviewed-by: Kees Cook <keescook@xxxxxxxxxxxx> -Kees > --- > Documentation/core-api/gcc-plugins.rst | 4 ++++ > 1 file changed, 4 insertions(+) > > diff --git a/Documentation/core-api/gcc-plugins.rst b/Documentation/core-api/gcc-plugins.rst > index 8502f24396fb..4b1c10f88e30 100644 > --- a/Documentation/core-api/gcc-plugins.rst > +++ b/Documentation/core-api/gcc-plugins.rst > @@ -72,6 +72,10 @@ You must install the gcc plugin headers for your gcc version, > > apt-get install gcc-4.9-plugin-dev > > +Or on Fedora:: > + > + dnf install gcc-plugin-devel > + > Enable a GCC plugin based feature in the kernel config:: > > CONFIG_GCC_PLUGIN_CYC_COMPLEXITY = y > -- > 2.21.1 > -- Kees Cook