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 <zheng.bao@amd.com>
Signed-off-by: Zheng Bao <fishbaozi@gmail.com>
Reviewed-on: http://review.coreboot.org/1526
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
This commit is contained in:
Zheng Bao 2012-09-17 16:38:22 +08:00 committed by Patrick Georgi
parent a59a9f7943
commit 615304c667
1 changed files with 1 additions and 1 deletions

View File

@ -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, *$,,"
}