Frantisek Sumsal
6dcabd5f5e
coccinelle: simplify file exclusions
...
Use Coccinelle's "depends on" directive to exclude files from certain
transformations. This should make them a bit simpler and possibly
faster, since we don't have to shell out to Python.
Unfortunately, this works only for file/directory exclusions. For
function and other more complex exclusions we still need to use Python,
at least for now.
Also, completely drop the file exclusion for man/ in the xsprintf
transformation, since we filter out everything under man/ before we even
run Coccinelle (in run-coccinelle.sh).
2026-03-14 23:56:53 +00:00
..
2025-01-19 08:27:47 +09:00
2021-10-01 14:45:00 +02:00
2025-06-24 23:23:40 +09:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2023-03-18 14:23:11 +01:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2026-03-14 23:56:53 +00:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2023-01-25 11:35:06 +01:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2023-08-16 12:52:56 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2022-05-30 18:17:11 +02:00
2023-10-25 11:16:37 +02:00
2026-03-14 23:56:53 +00:00
2023-12-25 13:53:02 +01:00
2021-10-01 14:45:00 +02:00
2022-02-16 17:26:26 +01:00
2021-10-01 14:45:00 +02:00
2024-01-09 12:24:37 +09:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2026-03-05 10:27:58 +01:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2026-03-05 10:27:58 +01:00
2021-10-01 14:45:00 +02:00
2022-12-19 15:00:57 +01:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2026-03-14 23:56:53 +00:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2024-01-02 19:12:05 +01:00
2021-10-14 15:57:52 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2021-10-01 14:45:00 +02:00
2023-07-09 14:07:48 +09:00
2021-10-01 14:45:00 +02:00
2026-03-14 23:56:53 +00:00
2021-10-01 14:45:00 +02:00
2026-03-14 23:56:53 +00:00
2026-03-14 23:56:53 +00:00