diff options
author | Joel Brobecker <brobecker@gnat.com> | 2012-06-05 13:28:59 +0000 |
---|---|---|
committer | Joel Brobecker <brobecker@gnat.com> | 2012-06-05 13:28:59 +0000 |
commit | 3770a1599ecd04bc5860aa6d0c6ed1376d2e7798 (patch) | |
tree | 665594497d76e60bce5e2dbce58fd8858ab461b6 /gdb/copyright.py | |
parent | 4aad0dfce556cbd58b789830818cf311aff077e2 (diff) | |
download | gdb-3770a1599ecd04bc5860aa6d0c6ed1376d2e7798.zip gdb-3770a1599ecd04bc5860aa6d0c6ed1376d2e7798.tar.gz gdb-3770a1599ecd04bc5860aa6d0c6ed1376d2e7798.tar.bz2 |
copyright.py: Tell user to update gdb.texinfo and refcard.tex by hand.
gdb/ChangeLog:
* copyright.py (MULTIPLE_COPYRIGHT_HEADERS): New constant.
(main): Add MULTIPLE_COPYRIGHT_HEADERS to the list of files
for which a reminder to update by hand is printed.
Diffstat (limited to 'gdb/copyright.py')
-rw-r--r-- | gdb/copyright.py | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gdb/copyright.py b/gdb/copyright.py index e8f2833..d83c93e 100644 --- a/gdb/copyright.py +++ b/gdb/copyright.py @@ -152,7 +152,7 @@ def main (): print print "\033[31mREMINDER: The following files must be updated by hand." \ "\033[0m" - for filename in BY_HAND: + for filename in BY_HAND + MULTIPLE_COPYRIGHT_HEADERS: print " ", filename ############################################################################ @@ -193,6 +193,14 @@ BY_HAND = ( "gdb/testsuite/gdb.base/step-line.c", ) +# Files containing multiple copyright headers. This script is only +# fixing the first one it finds, so we need to finish the update +# by hand. +MULTIPLE_COPYRIGHT_HEADERS = ( + "gdb/doc/gdb.texinfo", + "gdb/doc/refcard.tex", +) + # The list of file which have a copyright, but not head by the FSF. # Filenames are relative to the root directory. NOT_FSF_LIST = ( |