diff options
Diffstat (limited to 'gdb/copyright.py')
| -rw-r--r-- | gdb/copyright.py | 11 |
1 files changed, 10 insertions, 1 deletions
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 ############################################################################ |