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

the following patch was just integrated into master:
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

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

-gerrit