diff options
| author |   Luca Boccassi <luca.boccassi@gmail.com> | 2018-11-01 11:59:50 +0000 |
|---|---|---|
| committer | Luca Boccassi <luca.boccassi@gmail.com> | 2018-11-01 12:00:19 +0000 |
| commit | 8d01b9cd70a67cdafd5b965a70420c3bd7fb3f82 (patch) | |
| tree | 208e3bc33c220854d89d010e3abf720a2e62e546 /devtools/check-git-log.sh | |
| parent | b63264c8342e6a1b6971c79550d2af2024b6a4de (diff) | |
New upstream version 18.11-rc1upstream/18.11-rc1
Change-Id: Iaa71986dd6332e878d8f4bf493101b2bbc6313bb
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>
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" |