New upstream version 17.11.5

[deb_dpdk.git] / devtools / check-git-log.sh

diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh
index 910daba..9014c82 100755 (executable)
--- 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"