summaryrefslogtreecommitdiff
path: root/util/lint
diff options
context:
space:
mode:
authorPatrick Georgi <patrick@georgi-clan.de>2012-01-10 19:25:23 +0100
committerPatrick Georgi <patrick@georgi-clan.de>2012-03-01 00:03:34 +0100
commit7be482b002804fe4b85b08acbfda4e8f10ddd637 (patch)
treece3349310117f9d9ef7dd635c6958188d05dd605 /util/lint
parentc88ed855d81bc45d2862424b373398af3742631b (diff)
downloadcoreboot-7be482b002804fe4b85b08acbfda4e8f10ddd637.tar.xz
Drop support for BROKEN marker
We used to support marking boards broken. We don't need that anymore. Change-Id: I9d21fdf22c9a8e0e69488fc7896f2a81bf629201 Signed-off-by: Patrick Georgi <patrick@georgi-clan.de> Reviewed-on: http://review.coreboot.org/675 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions