diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2019-11-07 13:56:31 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-01-28 17:01:48 +0100 |
| commit | 3a037d0067c2c12a1c2c800fb85613a0a2911253 (patch) | |
| tree | 7dcef1021a627851efeae14927cfd1fc46ac2888 /contrib/devtools/copyright_header.py | |
| parent | 84ff1b2076ef91ce688930d0aa0a7f4078ef3e1d (diff) | |
test: Add crc32c exception to various linters and generation scripts
Diffstat (limited to 'contrib/devtools/copyright_header.py')
| -rwxr-xr-x | contrib/devtools/copyright_header.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/devtools/copyright_header.py b/contrib/devtools/copyright_header.py index 1b71245aab..92120eaff7 100755 --- a/contrib/devtools/copyright_header.py +++ b/contrib/devtools/copyright_header.py @@ -34,6 +34,7 @@ EXCLUDE_DIRS = [ "src/leveldb/", "src/secp256k1/", "src/univalue/", + "src/crc32c/", ] INCLUDE = ['*.h', '*.cpp', '*.cc', '*.c', '*.mm', '*.py', '*.sh', '*.bash-completion'] |