complete comment marker change

(cherry picked from commit c8abbc43127f77b2689341c8ca29b92157c9df4c)

diff --git a/util/update_copyrights b/util/update_copyrights
index f675721a7b6c249b30021e832a03502c3a178b77..88fd7058332b7976b1473c091557d997e72caf42 100644 (file)
--- a/util/update_copyrights
+++ b/util/update_copyrights
@@ -384,14 +384,14 @@ foreach $file (keys %file_types) {
         } elsif ($mkd_comment) {
                $before_copyright = "";
                 if (/^<!/) {
-                        $_ = <SOURCE> if $_ eq "<!---\n";
+                        $_ = <SOURCE> if $_ eq "<!--\n";
                         if ($_ !~ /[Cc]opyright/) {
                                 print "$file: non-copyright comment\n";
                                 close(SOURCE);
                                 next;
                         }
                         while (defined($_)) {
-                                last if s/.*--->//;
+                                last if s/.*-->//;
                                 $_ = <SOURCE>;
                         }
                         print "$file: unterminated comment\n"