From 4ed70053297f88eda6e2eeb982c2eae06804c46d Mon Sep 17 00:00:00 2001 From: Phil Sphicas Date: Tue, 22 Sep 2020 04:43:14 +0000 Subject: [PATCH] Ignore binary files when whitespace linting MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Update the whitespace linter script to avoid tripping on png files, using git-grep option: -I Don’t match the pattern in binary files. Change-Id: Ifcd60354086cc606dbd3e71981484201b00c619c --- tools/gate/whitespace-linter.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/gate/whitespace-linter.sh b/tools/gate/whitespace-linter.sh index 55f062d3..68b17c80 100755 --- a/tools/gate/whitespace-linter.sh +++ b/tools/gate/whitespace-linter.sh @@ -2,7 +2,7 @@ set -x -RES=$(git grep -E -l " +$") +RES=$(git grep -E -l -I " +$") if [[ -n $RES ]]; then exit 1