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 1650d6146671074002fa909ee8ed61f8ca3c8228
Author: Boris Faure <[email protected]>
AuthorDate: Sun Jun 19 22:24:48 2022 +0200
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 545ad8e..d45cd29 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"
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.
