diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2021-12-30 19:03:45 +0200 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2021-12-30 19:33:20 +0200 |
| commit | c29105efdc3daac0e8c43138f7c0a50535556455 (patch) | |
| tree | ae1977c35c90b429556a4415c4fc08a21992ad97 /contrib | |
| parent | de28c348a0ef866e6d25c06551a1e1c085f41815 (diff) | |
script: Fix copyright_header.py
This change prevents updating copyright years from "2021" to
"2021-2017".
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/devtools/copyright_header.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/devtools/copyright_header.py b/contrib/devtools/copyright_header.py index d6914bf655..c25e5948c1 100755 --- a/contrib/devtools/copyright_header.py +++ b/contrib/devtools/copyright_header.py @@ -371,7 +371,7 @@ def create_updated_copyright_line(line, last_git_change_year): space_split = after_copyright.split(' ') year_range = space_split[0] start_year, end_year = parse_year_range(year_range) - if end_year == last_git_change_year: + if end_year >= last_git_change_year: return line return (before_copyright + copyright_splitter + year_range_to_str(start_year, last_git_change_year) + ' ' + |