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>

diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh
index 85d67fb..d39064f 100755 (executable)
--- 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\>' \