[coreboot] Patch merged into coreboot/master: 1138553 lint: Dont highlight the matching text in grep

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 11385538ce6acd88a94cb57280d0a59adae5df00
Author: Zheng Bao <fishbaozi at gmail.com>
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 <zheng.bao at amd.com>
    Signed-off-by: Zheng Bao <fishbaozi at gmail.com>

Reviewed-By: Patrick Georgi <patrick at georgi-clan.de> at Mon Sep 17 10:37:15 2012, giving +2
See http://review.coreboot.org/1526 for details.

-gerrit