gdb/copyright.py: Do not forget to remind about MULTIPLE_COPYRIGHT_HEADERS
authorJoel Brobecker <brobecker@adacore.com>
Mon, 1 Jan 2018 04:30:28 +0000 (08:30 +0400)
committerJoel Brobecker <brobecker@adacore.com>
Tue, 2 Jan 2018 03:38:05 +0000 (07:38 +0400)
There is a small logical error in the part of the script that
dumps the list of files in BY_HAND + MULTIPLE_COPYRIGHT_HEADERS
but only checkis the contents of BY_HAND. The issue becomes
apparent as soon as BY_HAND is empty. Prevent this from happening
by treating the two lists separately, as this allows us to provide
a more informative message in the case of MULTIPLE_COPYRIGHT_HEADERS.

gdb/ChangeLog:

        * copyright.py (main): Dump the contents of
        MULTIPLE_COPYRIGHT_HEADERS (separately) from BY_HAND,
        even if BY_HAND is empty.

gdb/ChangeLog
gdb/copyright.py

index 929c513a7820e90f9ef266e852a3f6076260ac38..27f7c7ffee7f843a1a7b8b1febeeee05281f6b7b 100644 (file)
@@ -1,3 +1,9 @@
+2018-01-01  Joel Brobecker  <brobecker@adacore.com>
+
+       * copyright.py (main): Dump the contents of
+       MULTIPLE_COPYRIGHT_HEADERS (separately) from BY_HAND,
+       even if BY_HAND is empty.
+
 2018-01-01  Joel Brobecker  <brobecker@adacore.com>
 
        * top.c (print_gdb_version): Update Copyright year in version
index dca2d56f9818efc5636e29d9fc32064788ad3eca..bb21b21601fbb67cb5f6552929cb4acbed078804 100644 (file)
@@ -150,11 +150,20 @@ def main ():
     update_files (update_list)
 
     # Remind the user that some files need to be updated by HAND...
+
+    if MULTIPLE_COPYRIGHT_HEADERS:
+        print
+        print("\033[31m"
+              "REMINDER: Multiple copyright headers must be updated by hand:"
+              "\033[0m")
+        for filename in MULTIPLE_COPYRIGHT_HEADERS:
+            print "  ", filename
+
     if BY_HAND:
         print
         print "\033[31mREMINDER: The following files must be updated by hand." \
               "\033[0m"
-        for filename in BY_HAND + MULTIPLE_COPYRIGHT_HEADERS:
+        for filename in BY_HAND:
             print "  ", filename
 
 ############################################################################