[coreboot] Patch set updated for coreboot: 1138553 lint: Dont highlight the matching text in grep

[Zheng Bao]

Zheng Bao ([e-mail]) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/1526

-gerrit

commit 11385538ce6acd88a94cb57280d0a59adae5df00
Author: Zheng Bao 
Date:   Mon Sep 17 16:38:22 2012 +0800

lint: Dont highlight the matching text in grep

Sometimes we like to make grep auto-highlight the match text by
    setting the GREP_OPTIONS. This will make the compare_output
    in lint-002 catch the difference between 2 strings which text are
    same but color are different. Override the GREP_OPTIONS.

Change-Id: Ia257214fe5149e084e8eac3fb551a494eaa46ae6
    Signed-off-by: Zheng Bao 
    Signed-off-by: Zheng Bao 
---
 util/lint/lint-stable-002-build-dir-handling | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/lint/lint-stable-002-build-dir-handling b/util/lint/lint-stable-002-build-dir-handling
index d5295d2..6ab1bb9 100755
--- a/util/lint/lint-stable-002-build-dir-handling
+++ b/util/lint/lint-stable-002-build-dir-handling
@@ -37,7 +37,7 @@ $MAKE CONFIG_USE_BLOBS=n CONFIG_CCACHE=n CONFIG_SCANBUILD_ENABLE=n NOMKDIR=1 \
    DOTCONFIG=$TMPCONFIG obj=$1 printall |        \
    sed -e "s,^ *,," -e "s,^r.mstage-objs:=,,"    \
        -e "s,mainboard/[^/]*/[^/]*/,.../,g" |    \
-	tr " " "\n" | grep "/static.*.[co]" | sort | \
+	tr " " "\n" | GREP_OPTIONS= grep "/static.*.[co]" | sort | \
    tr '\012\015' '  ' | sed -e "s,  *, ,g" -e "s, *$,,"
 }