diff options
| author | Patrick Georgi <patrick@georgi-clan.de> | 2014-08-16 22:50:57 +0200 |
|---|---|---|
| committer | Vladimir Serbinenko <phcoder@gmail.com> | 2014-09-03 00:23:26 +0200 |
| commit | f9d7252a8d869cfda08c872b49d3ce5d7c27b083 (patch) | |
| tree | 8fd87b9072218ac2cfd3c4e341d2394f2e4c0f68 /util/lint/lint-stable-003-whitespace | |
| parent | d942ed9aa5bb034c2664d27d09ff7b32ed91fb53 (diff) | |
lint: simplify board-status check
git can do lots of things by itself, no need to parse
its output and redo that.
Change-Id: Id2cdd2ea8d34c1ba2b0abddc88e1f3260d74f47d
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/6798
Tested-by: build bot (Jenkins)
Reviewed-by: Vladimir Serbinenko <phcoder@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'util/lint/lint-stable-003-whitespace')
0 files changed, 0 insertions, 0 deletions