From 40fd87486799d50c78e24ff90337ca1dc1debc13 Mon Sep 17 00:00:00 2001 From: Gavin Hu Date: Fri, 21 Dec 2018 14:02:56 +0800 Subject: [PATCH] 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 Acked-by: Jerin Jacob --- devtools/check-git-log.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh index 85d67fb9af..d39064f9d9 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 ':.*\' \ -e ':.*\' \ - -e ':.*\' \ - -e ':.*\' \ - -e ':.*\' \ + -e ':.*\' \ + -e ':.*\<(Aarch64|AArch64|AARCH64|Aarch32|AArch32|AARCH32)\>' \ + -e ':.*\<(Armv7|ARMv7|ArmV7|armV7|ARMV7)\>' \ + -e ':.*\<(Armv8|ARMv8|ArmV8|armV8|ARMV8)\>' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -- 2.20.1