diff options
Diffstat (limited to 'devtools/check-git-log.sh')
| -rwxr-xr-x | devtools/check-git-log.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh index 85d67fb9..d39064f9 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\>' \ |