Age | Commit message (Expand) | Author |
---|---|---|
2018-06-01 | util/lint: use a more compact output format | Patrick Georgi |
2018-04-16 | util/lint: Fix execution on OpenBSD | Piotr Kubaj |
2017-08-14 | Makefile.inc: lint: Update to run lint-extended scripts | Martin Roth |
2016-10-27 | util/lint/lint: Show lint script output as it's running | Martin Roth |
2015-11-19 | lint: properly terminate junit report on error | Patrick Georgi |
2015-10-31 | tree: drop last paragraph of GPL copyright header | Patrick Georgi |
2015-10-17 | lint: Fix shellcheck warnings, add comments | Martin Roth |
2015-10-17 | lint: Add junit.xml output for jenkins | Martin Roth |
2015-10-17 | lint: Move the lint script out of Makefile.inc | Martin Roth |