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