From 69eb930f9761938bb82cd4f096d3f3cc546308d7 Mon Sep 17 00:00:00 2001
From: Boris Faure <billiob@gmail.com>
Date: Sun, 19 Jun 2022 22:30:54 +0200
Subject: [PATCH] coccicheck: fix script

---
 scripts/coccinelle/coccicheck.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/coccinelle/coccicheck.sh b/scripts/coccinelle/coccicheck.sh
index d45cd29d..01b00f3f 100755
--- a/scripts/coccinelle/coccicheck.sh
+++ b/scripts/coccinelle/coccicheck.sh
@@ -19,7 +19,7 @@ div_round_up.cocci
 HAS_ERROR=0
 for f in $COCCI_FILES; do
    OPTIONS=""
-   if [ "$COCCI_FILES" = "div_round_up.cocci" ]; then
+   if [ "$f" = "div_round_up.cocci" ]; then
       OPTIONS="--defined DIV_ROUND_UP"
    fi
    CMD="spatch --timeout 200 --very-quiet --cocci-file scripts/coccinelle/$f --include-headers --dir $DIR $OPTIONS"