diff options
author | Michael Ellerman <mpe@ellerman.id.au> | 2020-02-21 03:48:43 +0300 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2020-02-25 12:44:35 +0300 |
commit | 43e96ef8b70c50f6054f20b8c357ee5881592082 (patch) | |
tree | 2e93697ea5ac125c6cda2f89a599b8524b86e5aa | |
parent | e2c79ab7d75b4c6ed827e8078e5ebe2d059edafc (diff) | |
download | linux-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.rst | 4 |
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 |