diff --git a/util/update_copyrights b/util/update_copyrights index aa7d676376..89300539d4 100644 --- a/util/update_copyrights +++ b/util/update_copyrights @@ -317,6 +317,25 @@ foreach $file (keys %file_types) { while (/^$/ ) { + $_ = ; + close(SOURCE) if (eof(SOURCE)); + next; + } + if (/^; + next if (eof(SOURCE)); + $before_copyright = + "$before_copyright$_"; + if (/]>$/) { + $_ = ; + last; + } + } + close(SOURCE) if (eof(SOURCE)); + next; + } if (/>$/ ) { $_ = ; close(SOURCE) if (eof(SOURCE));