summaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
authorGavin Hu <gavin.hu@arm.com>2018-12-21 14:02:56 +0800
committerThomas Monjalon <thomas@monjalon.net>2019-01-10 10:19:01 +0100
commit40fd87486799d50c78e24ff90337ca1dc1debc13 (patch)
treec6078b9a6ace026402d43aa06618de88f9fa732f /devtools
parent655796d2b5fb3d44166e172bb040a83979aa9fd8 (diff)
downloaddpdk-next-eventdev-40fd87486799d50c78e24ff90337ca1dc1debc13.zip
dpdk-next-eventdev-40fd87486799d50c78e24ff90337ca1dc1debc13.tar.gz
dpdk-next-eventdev-40fd87486799d50c78e24ff90337ca1dc1debc13.tar.xz
devtools: fix wrong headline lowercase for arm
Change to the new wording according to Arm corp: https://mails.dpdk.org/archives/dev/2018-October/115174.html otherwise, "Wrong headline lowercase" may be falsely reported. Fixes: f146ada21d1e ("scripts: add more git log checks") Cc: stable@dpdk.org Signed-off-by: Gavin Hu <gavin.hu@arm.com> Acked-by: Jerin Jacob <jerinj@marvell.com>
Diffstat (limited to 'devtools')
-rwxr-xr-xdevtools/check-git-log.sh7
1 files changed, 4 insertions, 3 deletions
diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh
index 85d67fb..d39064f 100755
--- a/devtools/check-git-log.sh
+++ b/devtools/check-git-log.sh
@@ -90,9 +90,10 @@ bad=$(echo "$headlines" | grep -E --color=always \
-e ':.*\<[hsf]w\>' \
-e ':.*\<l[234]\>' \
-e ':.*\<api\>' \
- -e ':.*\<arm\>' \
- -e ':.*\<armv7\>' \
- -e ':.*\<armv8\>' \
+ -e ':.*\<ARM\>' \
+ -e ':.*\<(Aarch64|AArch64|AARCH64|Aarch32|AArch32|AARCH32)\>' \
+ -e ':.*\<(Armv7|ARMv7|ArmV7|armV7|ARMV7)\>' \
+ -e ':.*\<(Armv8|ARMv8|ArmV8|armV8|ARMV8)\>' \
-e ':.*\<crc\>' \
-e ':.*\<dma\>' \
-e ':.*\<eeprom\>' \