From 1650d6146671074002fa909ee8ed61f8ca3c8228 Mon Sep 17 00:00:00 2001
From: Boris Faure <billiob@gmail.com>
Date: Sun, 19 Jun 2022 22:24:48 +0200
Subject: [PATCH] coccicheck: oops

---
 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 545ad8ef..d45cd29d 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" ]; then
+   if [ "$COCCI_FILES" = "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"