diff options
| author | Songwei Chai <quic_songchai@quicinc.com> | 2025-06-06 14:09:36 +0800 |
|---|---|---|
| committer | Julia Lawall <Julia.Lawall@inria.fr> | 2025-12-21 21:04:45 +0100 |
| commit | 3766511de1ce62472898d0ffafeb2551c880b161 (patch) | |
| tree | a1ae54f8ad0601ede805c6ad9d483c992ba910b6 /rust/helpers/workqueue.c | |
| parent | 9094662f6707d1d4b53d18baba459604e8bb0783 (diff) | |
scripts: coccicheck: filter *.cocci files by MODE
Enhance the coccicheck script to filter *.cocci files based on the
specified MODE (e.g., report, patch). This ensures that only compatible
semantic patch files are executed, preventing errors such as:
"virtual rule report not supported"
This error occurs when a .cocci file does not define a 'virtual <MODE>'
rule, yet is executed in that mode.
For example:
make coccicheck M=drivers/hwtracing/coresight/ MODE=report
In this case, running "secs_to_jiffies.cocci" would trigger the error
because it lacks support for 'report' mode. With this change, such files
are skipped automatically, improving robustness and developer
experience.
Signed-off-by: Songwei Chai <quic_songchai@quicinc.com>
Reviewed-by: Julia Lawall <Julia.Lawall@inria.fr>
Diffstat (limited to 'rust/helpers/workqueue.c')
0 files changed, 0 insertions, 0 deletions
