This is an automated email from the git hooks/post-receive script.
git pushed a commit to branch master
in repository terminology.
View the commit online.
commit 69eb930f9761938bb82cd4f096d3f3cc546308d7
Author: Boris Faure <[email protected]>
AuthorDate: Sun Jun 19 22:30:54 2022 +0200
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 d45cd29..01b00f3 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"
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.
