diff options
Diffstat (limited to 'devtools/check-git-log.sh')
-rwxr-xr-x | devtools/check-git-log.sh | 4 |
1 files changed, 2 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" |