diff options
| author | Benjamin Philip <benjamin.philip495@gmail.com> | 2026-01-07 00:38:36 +0530 |
|---|---|---|
| committer | Julia Lawall <Julia.Lawall@inria.fr> | 2026-02-21 17:22:45 +0100 |
| commit | e3a22b532080bf32a4d4eb6172c8cb878123e13c (patch) | |
| tree | 4e2253aeb78dc46bc4adcf6b096c7c0b22fde57b /tools/scripts/Makefile.include | |
| parent | bb1c9ccf740eae3f116a2bb5d26c2bfb80cc8c7e (diff) | |
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>
Diffstat (limited to 'tools/scripts/Makefile.include')
0 files changed, 0 insertions, 0 deletions