diff options
| author | Zheng Bao <fishbaozi@gmail.com> | 2012-09-17 16:38:22 +0800 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2012-09-17 10:37:21 +0200 |
| commit | 615304c667dc690aeecfdd655adf8073aafc3cad (patch) | |
| tree | 987e62885e5b1bfb7ec7b11a75832181d1aff184 /util/lint | |
| parent | a59a9f79435e0fa294d73c27053d59696d9e3d97 (diff) | |
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>
Diffstat (limited to 'util/lint')
| -rwxr-xr-x | util/lint/lint-stable-002-build-dir-handling | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/lint-stable-002-build-dir-handling b/util/lint/lint-stable-002-build-dir-handling index d5295d276e..6ab1bb9550 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, *$,," } |