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: sta...@dpdk.org
Signed-off-by: Gavin Hu <gavin...@arm.com>
---
devtools/check-git-log.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh
index 85d67fb9a..15f15e18b 100755
--- a/devtools/check-git-log.sh
+++ b/devtools/check-git-log.sh
@@ -90,9 +90,9 @@ bad=$(echo "$headlines" | grep -E --color=always \
-e ':.*\<[hsf]w\>' \
-e ':.*\<l[234]\>' \
-e ':.*\<api\>' \
- -e ':.*\<arm\>' \
- -e ':.*\<armv7\>' \
- -e ':.*\<armv8\>' \
+ -e ':.*\<ARM\>' \
+ -e ':.*\<(Armv7|ARMv7|ArmV7|armV7|ARMV7)\>' \
+ -e ':.*\<(Armv8|ARMv8|ArmV8|armV8|ARMV8)\>' \
-e ':.*\<crc\>' \
-e ':.*\<dma\>' \
-e ':.*\<eeprom\>' \
--
2.11.0
