summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-005-board-status
AgeCommit message (Expand)Author
2022-09-30util/lint: Update tools that use git to use a libraryMartin Roth
2021-01-25util: Update all shebangs to use /usr/bin/envMartin Roth
2020-05-11util: Use SPDX headersPatrick Georgi
2020-05-11treewide: Remove "this file is part of" linesPatrick Georgi
2020-05-09AUTHORS, util/: Drop individual copyright noticesPatrick Georgi
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