diff options
| -rw-r--r-- | gdb/ChangeLog | 6 | ||||
| -rw-r--r-- | gdb/copyright.py | 11 |
2 files changed, 16 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 929c513..27f7c7f 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,11 @@ 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 message. diff --git a/gdb/copyright.py b/gdb/copyright.py index dca2d56..bb21b21 100644 --- a/gdb/copyright.py +++ b/gdb/copyright.py @@ -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 ############################################################################ |