diff options
author | Oliver Smith <osmith@sysmocom.de> | 2021-06-16 14:18:52 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2021-06-16 16:49:47 +0200 |
commit | d58b999e0f8ea2ae8f744192589f3e3923e1da6d (patch) | |
tree | 39179f961c4097cd2a932238cb0580c831e85ba2 /ansible/setup-jenkins-slave.yml | |
parent | 1e750ed6dcf8d9f576776e5beadb70a6bf5267e2 (diff) |
lint: add helper scripts
Add lint_diff.sh, which runs checkpatch on git diff to either HEAD~1 (if
the tree is clean) or HEAD. This can be used as pre-commit hook, and
it's what jenkins will run.
Add lint_all.sh, which runs checkpatch on a whole repository to test if
the rules we are checking for make sense in Osmocom context.
Related: OS#5087
Change-Id: I1d02c169b05fb05b87209a444a5ddb86efc99d04
Diffstat (limited to 'ansible/setup-jenkins-slave.yml')
0 files changed, 0 insertions, 0 deletions