]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
Documentation: Coccinelle: document debug log handling
authorBenjamin Philip <benjamin.philip495@gmail.com>
Tue, 6 Jan 2026 19:08:36 +0000 (00:38 +0530)
committerJulia Lawall <Julia.Lawall@inria.fr>
Sat, 21 Feb 2026 16:22:45 +0000 (17:22 +0100)
commite3a22b532080bf32a4d4eb6172c8cb878123e13c
tree4e2253aeb78dc46bc4adcf6b096c7c0b22fde57b
parentbb1c9ccf740eae3f116a2bb5d26c2bfb80cc8c7e
Documentation: Coccinelle: document debug log handling

The current debug documentation does not mention that logs are printed
to stdout unless DEBUG_FILE is set. It also doesn't mention that
Coccinelle cannot overwrite debug files.

Document this behaviour in the examples and reference it in the
debugging section.

Signed-off-by: Benjamin Philip <benjamin.philip495@gmail.com>
Signed-off-by: Julia Lawall <julia.lawall@inria.fr>
Documentation/dev-tools/coccinelle.rst