Spawn coccinelle CI job when util/check-cocci.sh was touched

(cherry picked from commit 6db5b9ee14e9968155e59c1a70a2ccc452516b36)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7bf8fc3981a9287cbbccd054c7a09d3c640c79cf..960f0189c7b4e95eb46ad6e1534f0b400dafb2c9 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -755,6 +755,7 @@ coccinelle:
         - '**/*.c'
         - '**/*.h'
         - 'cocci/**'
+        - 'util/check-cocci.sh'
     - *rule_mr_manual
     - *rule_tag
     - *rule_source_other_than_mr