diff options
| author | Patrick Steinhardt <ps@pks.im> | 2026-03-19 06:33:21 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2026-03-19 06:40:08 -0700 |
| commit | 8ca1b4472ce97ae1d120608f9f02a86fa33d4187 (patch) | |
| tree | 08c593382b995fb479d6f883db59ee7c175e2e0c /ci | |
| parent | 8872941fd21e2afe37032e7d9beec87b69aca9c9 (diff) | |
| download | git-8ca1b4472ce97ae1d120608f9f02a86fa33d4187.tar.xz | |
contrib: move "coccinelle/" directory into "tools/"
The Coccinelle tool is an ingrained part of our build infrastructure. It
is executed by our CI to detect antipatterns and is used to detect
misuses of certain interfaces. It's presence in "contrib/" is thus
rather misleading.
Promote the configuration into the new "tools/" directory.
Signed-off-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/run-static-analysis.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/run-static-analysis.sh b/ci/run-static-analysis.sh index 9e9c72681d..ba67e80b4d 100755 --- a/ci/run-static-analysis.sh +++ b/ci/run-static-analysis.sh @@ -10,7 +10,7 @@ make coccicheck set +x fail= -for cocci_patch in contrib/coccinelle/*.patch +for cocci_patch in tools/coccinelle/*.patch do if test -s "$cocci_patch" then |