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)
commit0f0c98a8a1ca2fa2e73170849b1db4876c3ea954
tree6e173fcbaa7221174d5aa9355c6b68c4ecce2b00
parent82e1e79a420734bcb1fa255a1e7b3250e6acee65
gdb/copyright.py: Do not forget to remind about MULTIPLE_COPYRIGHT_HEADERS

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