diff options
author | Joseph Herlant <aerostitch@users.noreply.github.com> | 2018-06-02 23:12:52 -0700 |
---|---|---|
committer | jkoan <jkoan@users.noreply.github.com> | 2018-06-03 08:12:52 +0200 |
commit | 34ce7f49f55d58daabf5121f0d906c55ef695579 (patch) | |
tree | a048b89b8394ae9cffb1e22a043b4b01ce1a1d3c /checkstyle.xml | |
parent | b57107832fe5c904b804e7946ca03d550523c540 (diff) | |
download | navit-34ce7f49f55d58daabf5121f0d906c55ef695579.tar.gz |
update:ci:Refactor the sanity check for better output and add xmllint check (#609)
* update:ci:Refactor the sanity check for better output and add xmllint check
* Use sort -u
* Switch to git diff with trunk so that we avoid re-checking files coming from merge commits
* Make sure to really take the extension properly in the comparison
Diffstat (limited to 'checkstyle.xml')
0 files changed, 0 insertions, 0 deletions