New upstream version 18.11-rc1

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

diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh
index 97dae4b..85d67fb 100755 (executable)
--- a/devtools/check-git-log.sh
+++ b/devtools/check-git-log.sh
@@ -108,6 +108,7 @@ bad=$(echo "$headlines" | grep -E --color=always \
        -e ':.*\<nvm\>' \
        -e ':.*\<numa\>' \
        -e ':.*\<pci\>' \
+       -e ':.*\<phy\>' \
        -e ':.*\<pmd\>' \
        -e ':.*\<rss\>' \
        -e ':.*\<sctp\>' \
@@ -116,6 +117,8 @@ bad=$(echo "$headlines" | grep -E --color=always \
        -e ':.*\<[Vv]lan\>' \
        -e ':.*\<vdpa\>' \
        -e ':.*\<vsi\>' \
+       | grep \
+       -v ':.*\<OCTEON\ TX\>' \
        | sed 's,^,\t,')
 [ -z "$bad" ] || printf "Wrong headline lowercase:\n$bad\n"