From mboxrd@z Thu Jan 1 00:00:00 1970 From: Gavin Hu Subject: [PATCH v3] devtools: fix wrong headline lowercase for arm Date: Fri, 21 Dec 2018 14:02:56 +0800 Message-ID: <20181221060256.4892-1-gavin.hu@arm.com> References: <20181220161045.9487-1-gavin.hu@arm.com> Cc: thomas@monjalon.net, honnappa.nagarahalli@arm.com, nd@arm.com, Gavin Hu , stable@dpdk.org To: dev@dpdk.org Return-path: In-Reply-To: <20181220161045.9487-1-gavin.hu@arm.com> List-Id: DPDK patches and discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: dev-bounces@dpdk.org Sender: "dev" 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 --- 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 85d67fb9a..d39064f9d 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.11.0