diff options
Diffstat (limited to 'gdb/copyright.py')
| -rwxr-xr-x | gdb/copyright.py | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gdb/copyright.py b/gdb/copyright.py index bd854dc..425b7d2 100755 --- a/gdb/copyright.py +++ b/gdb/copyright.py @@ -191,11 +191,20 @@ def main(argv: list[str]) -> int | None: if BY_HAND: print() print( - "\033[31mREMINDER: The following files must be updated by hand." "\033[0m" + "\033[31mREMINDER: The following files must be updated by hand:" "\033[0m" ) for filename in BY_HAND: print(" ", filename) + print() + print( + "\033[31mREMINDER: The following files contain code to print a copyright " + "notice at runtime, they must be updated by hand:\033[0m" + ) + print(" gdb/top.c") + print(" gdbserver/gdbreplay.cc") + print(" gdbserver/server.cc") + ############################################################################ # |