summaryrefslogtreecommitdiff
path: root/scripts/gcc-plugins
diff options
context:
space:
mode:
authorJonathan Corbet <corbet@lwn.net>2020-03-02 15:24:04 -0700
committerJonathan Corbet <corbet@lwn.net>2020-03-10 11:20:46 -0600
commit2b4cbd5c950525b6d4d2cd384dcefdd95fedabe3 (patch)
treedd40dacd113a4fa407bada3b5369534632e3d2ce /scripts/gcc-plugins
parent5e72017279957b764c225f143c16391b3c51f225 (diff)
docs: move gcc-plugins to the kbuild manual
Information about GCC plugins is relevant to kernel building, so move this document to the kbuild manual. Acked-by: Masahiro Yamada <masahiroy@kernel.org> Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts/gcc-plugins')
-rw-r--r--scripts/gcc-plugins/Kconfig2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/gcc-plugins/Kconfig b/scripts/gcc-plugins/Kconfig
index e3569543bdac..f8ca236d6165 100644
--- a/scripts/gcc-plugins/Kconfig
+++ b/scripts/gcc-plugins/Kconfig
@@ -23,7 +23,7 @@ menuconfig GCC_PLUGINS
GCC plugins are loadable modules that provide extra features to the
compiler. They are useful for runtime instrumentation and static analysis.
- See Documentation/core-api/gcc-plugins.rst for details.
+ See Documentation/kbuild/gcc-plugins.rst for details.
if GCC_PLUGINS