diff options
Diffstat (limited to 'devtools')
| -rwxr-xr-x | devtools/check-git-log.sh | 4 | ||||
| -rw-r--r-- | devtools/cocci/strlcpy.cocci | 8 |
2 files changed, 10 insertions, 2 deletions
diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh index 910daba4..9014c824 100755 --- a/devtools/check-git-log.sh +++ b/devtools/check-git-log.sh @@ -106,8 +106,8 @@ bad=$(echo "$headlines" | grep --color=always \ # check headline lowercase for first words bad=$(echo "$headlines" | grep --color=always \ - -e '^.*[A-Z].*:' \ - -e ': *[A-Z]' \ + -e '^.*[[:upper:]].*:' \ + -e ': *[[:upper:]]' \ | sed 's,^,\t,') [ -z "$bad" ] || printf "Wrong headline uppercase:\n$bad\n" diff --git a/devtools/cocci/strlcpy.cocci b/devtools/cocci/strlcpy.cocci new file mode 100644 index 00000000..335e2712 --- /dev/null +++ b/devtools/cocci/strlcpy.cocci @@ -0,0 +1,8 @@ +@use_strlcpy@ +identifier src, dst; +expression size; +@@ +( +- snprintf(dst, size, "%s", src) ++ strlcpy(dst, src, size) +) |