summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-005-board-status
AgeCommit message (Expand)Author
2016-03-29lint: Update board status script to look at the whole treeMartin Roth
2015-10-31tree: drop last paragraph of GPL copyright headerPatrick Georgi
2015-06-08Remove empty lines at end of fileElyes HAOUAS
2015-05-21Remove address from GPLv2 headersPatrick Georgi
2014-09-03lint: simplify board-status checkPatrick Georgi
2014-08-18board-info: Output errors to stdout like make lint-stable expectsVladimir Serbinenko
2014-08-16lint-stable: Check that modified boards contain meaningful board_info.txt.Vladimir Serbinenko