aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorZheng Bao <fishbaozi@gmail.com>2012-09-17 16:38:22 +0800
committerPatrick Georgi <patrick@georgi-clan.de>2012-09-17 10:37:21 +0200
commit615304c667dc690aeecfdd655adf8073aafc3cad (patch)
tree987e62885e5b1bfb7ec7b11a75832181d1aff184 /Makefile
parenta59a9f79435e0fa294d73c27053d59696d9e3d97 (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 'Makefile')
0 files changed, 0 insertions, 0 deletions