summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Ellerman <mpe@ellerman.id.au>2020-02-21 03:48:43 +0300
committerJonathan Corbet <corbet@lwn.net>2020-02-25 12:44:35 +0300
commit43e96ef8b70c50f6054f20b8c357ee5881592082 (patch)
tree2e93697ea5ac125c6cda2f89a599b8524b86e5aa
parente2c79ab7d75b4c6ed827e8078e5ebe2d059edafc (diff)
downloadlinux-43e96ef8b70c50f6054f20b8c357ee5881592082.tar.xz
docs/core-api: Add Fedora instructions for GCC plugins
Add an example of how to install the necessary packages for GCC plugins on Fedora. Signed-off-by: Michael Ellerman <mpe@ellerman.id.au> Reviewed-by: Kees Cook <keescook@chromium.org> Signed-off-by: Jonathan Corbet <corbet@lwn.net>
-rw-r--r--Documentation/core-api/gcc-plugins.rst4
1 files changed, 4 insertions, 0 deletions
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 @@ e.g., on Ubuntu for gcc-4.9::
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