diff options
| author | 2022-04-28 17:58:38 +0100 | |
|---|---|---|
| committer | 2022-04-28 17:58:38 +0100 | |
| commit | bddfb460e5b614c19628022f9aef1bfabef0c943 (patch) | |
| tree | d5a1c73070d8dc151694f4e118fac56705e1dba7 /tools | |
| parent | Skip bots when generating the authors list. (diff) | |
Fix updating the copyright headers.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/mkheaders | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mkheaders b/tools/mkheaders index ece9e7af0..dfeb7fdfa 100755 --- a/tools/mkheaders +++ b/tools/mkheaders @@ -59,7 +59,7 @@ for my $path (@paths) { my ($copyright, $indent, @lines); for my $line (<$fh>) { chomp $line; - if ($line =~ /^([^0-9A-Za-z]+\s)Copyright\s+\(C\)\s+[^<]+\s+<[^>]+>$/) { + if ($line =~ /^([^0-9A-Za-z]+\s)Copyright\s+\(C\)\s+[^<]+(\s+<[^>]+>)?$/) { $copyright = scalar @lines; $indent = $1; } else { |
