diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2019-11-07 13:43:55 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-01-28 17:01:48 +0100 |
| commit | 84ff1b2076ef91ce688930d0aa0a7f4078ef3e1d (patch) | |
| tree | 9b2f47742c75c2e51544edbc357a9211ec15cf77 /ci/lint/06_script.sh | |
| parent | 7cf13a513409c18d18dff2f6203b3630937b487d (diff) | |
test: Add crc32c to subtree check linter
Diffstat (limited to 'ci/lint/06_script.sh')
| -rwxr-xr-x | ci/lint/06_script.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/lint/06_script.sh b/ci/lint/06_script.sh index ae8122f9af..003bdf3c29 100755 --- a/ci/lint/06_script.sh +++ b/ci/lint/06_script.sh @@ -14,6 +14,7 @@ test/lint/git-subtree-check.sh src/crypto/ctaes test/lint/git-subtree-check.sh src/secp256k1 test/lint/git-subtree-check.sh src/univalue test/lint/git-subtree-check.sh src/leveldb +test/lint/git-subtree-check.sh src/crc32c test/lint/check-doc.py test/lint/check-rpc-mappings.py . test/lint/lint-all.sh |