summaryrefslogtreecommitdiff
path: root/util/lint/lint
AgeCommit message (Expand)Author
2022-09-03util/lint/lint: Reformat usageMartin Roth
2022-09-03util/lint/lint: Add command line parsingMartin Roth
2021-01-25util: Update all shebangs to use /usr/bin/envMartin Roth
2020-05-11treewide: Remove "this file is part of" linesPatrick Georgi
2020-05-09util/: Replace GPLv2 boiler plate with SPDX headerPatrick Georgi
2018-06-01util/lint: use a more compact output formatPatrick Georgi
2018-04-16util/lint: Fix execution on OpenBSDPiotr Kubaj
2017-08-14Makefile.inc: lint: Update to run lint-extended scriptsMartin Roth
2016-10-27util/lint/lint: Show lint script output as it's runningMartin Roth
2015-11-19lint: properly terminate junit report on errorPatrick Georgi
2015-10-31tree: drop last paragraph of GPL copyright headerPatrick Georgi
2015-10-17lint: Fix shellcheck warnings, add commentsMartin Roth
2015-10-17lint: Add junit.xml output for jenkinsMartin Roth
2015-10-17lint: Move the lint script out of Makefile.incMartin Roth