summaryrefslogtreecommitdiff
path: root/util/lint/lint
AgeCommit message (Expand)Author
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