From mboxrd@z Thu Jan 1 00:00:00 1970 From: Gavin Hu Subject: [PATCH v2] devtools: fix wrong headline lowercase for arm Date: Fri, 21 Dec 2018 00:10:45 +0800 Message-ID: <20181220161045.9487-1-gavin.hu@arm.com> Cc: thomas@monjalon.net, bruce.richardson@intel.com, ferruh.yigit@intel.com, Honnappa.Nagarahalli@arm.com, nd@arm.com, Gavin Hu , stable@dpdk.org To: dev@dpdk.org Return-path: 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 | 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 ':.*\' \ -e ':.*\' \ - -e ':.*\' \ - -e ':.*\' \ - -e ':.*\' \ + -e ':.*\' \ + -e ':.*\<(Armv7|ARMv7|ArmV7|armV7|ARMV7)\>' \ + -e ':.*\<(Armv8|ARMv8|ArmV8|armV8|ARMV8)\>' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -- 2.11.0