Zheng Bao 615304c667 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>

2012-09-17 10:37:21 +02:00

..

lint-000-license-headers

exclude src/vendorcode from GPLv2 license checks.

2011-05-23 17:16:44 +00:00

lint-001-no-global-config-in-romstage

Remove whitespace.

2012-02-17 19:04:31 +01:00

lint-stable-002-build-dir-handling

lint: Dont highlight the matching text in grep

2012-09-17 10:37:21 +02:00

lint-stable-003-whitespace

lint: tighten whitespace check some more

2012-04-17 21:40:45 +02:00

lint-stable-004-style-labels

Move C labels to start-of-line

2012-03-07 17:48:03 +01:00

remccoms3.sed

Remove whitespace.

2012-02-17 19:04:31 +01:00