the following patch was just integrated into master:
commit 11385538ce6acd88a94cb57280d0a59adae5df00
Author: Zheng Bao <[email protected]>
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 <[email protected]>
Signed-off-by: Zheng Bao <[email protected]>
Reviewed-By: Patrick Georgi <[email protected]> at Mon Sep 17 10:37:15
2012, giving +2
See http://review.coreboot.org/1526 for details.
-gerrit
--
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot
