summaryrefslogtreecommitdiffstats
path: root/util/lint/lint
Commit message (Expand)AuthorAgeFilesLines
* util: Update all shebangs to use /usr/bin/envMartin Roth2021-01-251-1/+1
* treewide: Remove "this file is part of" linesPatrick Georgi2020-05-111-1/+0
* util/: Replace GPLv2 boiler plate with SPDX headerPatrick Georgi2020-05-091-9/+2
* util/lint: use a more compact output formatPatrick Georgi2018-06-011-4/+2
* util/lint: Fix execution on OpenBSDPiotr Kubaj2018-04-161-1/+1
* Makefile.inc: lint: Update to run lint-extended scriptsMartin Roth2017-08-141-3/+6
* util/lint/lint: Show lint script output as it's runningMartin Roth2016-10-271-3/+2
* lint: properly terminate junit report on errorPatrick Georgi2015-11-191-1/+1
* tree: drop last paragraph of GPL copyright headerPatrick Georgi2015-10-311-4/+0
* lint: Fix shellcheck warnings, add commentsMartin Roth2015-10-171-15/+22
* lint: Add junit.xml output for jenkinsMartin Roth2015-10-171-1/+22
* lint: Move the lint script out of Makefile.incMartin Roth2015-10-171-0/+50