From bddfb460e5b614c19628022f9aef1bfabef0c943 Mon Sep 17 00:00:00 2001 From: Sadie Powell Date: Thu, 28 Apr 2022 17:58:38 +0100 Subject: Fix updating the copyright headers. --- tools/mkheaders | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') 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 { -- cgit v1.3.1-10-gc9f91