1
0
forked from 0ad/0ad
0ad/build/jenkins
wraitii d751927b89 Linter fix on CI.
The CI wasn't properly reporting linting, as it turns out the output of
`arc lint --output json` is not what the Jenkins plugin expects.

This adds a custom lint printer that is compatible with the plugin
expectations.

Also delete the coala/ folder forgotten in the original diff.

Differential Revision: https://code.wildfiregames.com/D3709
This was SVN commit r25082.
2021-03-19 09:13:00 +00:00
..
dockerfiles Lint update: use arclint, remove JSHint, remove coala on CI. 2021-03-15 15:14:28 +00:00
pipelines Linter fix on CI. 2021-03-19 09:13:00 +00:00
lint-translations.sh Add a script to lint the translations with Dennis. 2017-05-27 12:26:26 +00:00