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