diff options
Diffstat (limited to 'devtools/check-git-log.sh')
| -rwxr-xr-x | devtools/check-git-log.sh | 3 |
1 files changed, 3 insertions, 0 deletions
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 ':.*\<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" |