diff options
| author | Joel Brobecker <brobecker@adacore.com> | 2018-01-01 08:30:28 +0400 |
|---|---|---|
| committer | Joel Brobecker <brobecker@adacore.com> | 2018-01-02 07:38:05 +0400 |
| commit | 0f0c98a8a1ca2fa2e73170849b1db4876c3ea954 (patch) | |
| tree | 6e173fcbaa7221174d5aa9355c6b68c4ecce2b00 /setup.com | |
| parent | 82e1e79a420734bcb1fa255a1e7b3250e6acee65 (diff) | |
| download | gdb-0f0c98a8a1ca2fa2e73170849b1db4876c3ea954.zip gdb-0f0c98a8a1ca2fa2e73170849b1db4876c3ea954.tar.gz gdb-0f0c98a8a1ca2fa2e73170849b1db4876c3ea954.tar.bz2 | |
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.
Diffstat (limited to 'setup.com')
0 files changed, 0 insertions, 0 deletions