X-Git-Url: https://gerrit.fd.io/r/gitweb?a=blobdiff_plain;f=devtools%2Fcheck-git-log.sh;fp=devtools%2Fcheck-git-log.sh;h=85d67fb9afeb0f35f0a72250de864740bb4ae42c;hb=8d01b9cd70a67cdafd5b965a70420c3bd7fb3f82;hp=97dae4be679a30d68f2ca081bbd1d6b14c22ea0d;hpb=b63264c8342e6a1b6971c79550d2af2024b6a4de;p=deb_dpdk.git diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh index 97dae4be..85d67fb9 100755 --- a/devtools/check-git-log.sh +++ b/devtools/check-git-log.sh @@ -108,6 +108,7 @@ bad=$(echo "$headlines" | grep -E --color=always \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ + -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ @@ -116,6 +117,8 @@ bad=$(echo "$headlines" | grep -E --color=always \ -e ':.*\<[Vv]lan\>' \ -e ':.*\' \ -e ':.*\' \ + | grep \ + -v ':.*\' \ | sed 's,^,\t,') [ -z "$bad" ] || printf "Wrong headline lowercase:\n$bad\n"