diff options
| author | Michael Ellerman <mpe@ellerman.id.au> | 2020-02-21 11:48:43 +1100 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2020-02-25 02:44:35 -0700 |
| commit | 43e96ef8b70c50f6054f20b8c357ee5881592082 (patch) | |
| tree | 2e93697ea5ac125c6cda2f89a599b8524b86e5aa /Documentation/core-api | |
| parent | e2c79ab7d75b4c6ed827e8078e5ebe2d059edafc (diff) | |
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>
Diffstat (limited to 'Documentation/core-api')
| -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 |