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 02e8009a89f4c174bd90d3fcaede942dad87e3b8..df4e9a880744bca7ad84267a400255b3487336a6 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -709,6 +709,7 @@ coccinelle:
         - '**/*.c'
         - '**/*.h'
         - 'cocci/**'
+        - 'util/check-cocci.sh'
     - *rule_mr_manual
     - *rule_tag
     - *rule_source_other_than_mr