From: Ferruh Yigit Date: Thu, 26 Jan 2017 14:16:47 +0000 (+0000) Subject: devtools: add more git headline checks for acronyms X-Git-Url: http://git.droids-corp.org/?a=commitdiff_plain;h=3fb32e288bf9e7e4df316104966f3b014f93b442;p=dpdk.git devtools: add more git headline checks for acronyms Signed-off-by: Ferruh Yigit --- diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh index 9ccef668e7..4c50eff6c1 100755 --- a/devtools/check-git-log.sh +++ b/devtools/check-git-log.sh @@ -128,13 +128,15 @@ bad=$(echo "$headlines" | grep -E --color=always \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ + -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ - -e ':.*\' \ + -e ':.*\' \ + -e ':.*\<[Vv]lan\>' \ | sed 's,^,\t,') [ -z "$bad" ] || printf "Wrong headline lowercase:\n$bad\n"