Age | Commit message (Expand) | Author |
---|---|---|
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 |