diff options
Diffstat (limited to 'gdb/copyright.py')
| -rw-r--r-- | gdb/copyright.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gdb/copyright.py b/gdb/copyright.py index d2df65e..180e7c4 100644 --- a/gdb/copyright.py +++ b/gdb/copyright.py @@ -84,8 +84,11 @@ def update_files(update_list): # repeat the prefixes in MULTILINE_COMMENT_PREFIXES. os.environ['MULTILINE_COMMENT_PREFIXES'] = \ '\n'.join(MULTILINE_COMMENT_PREFIXES) - # We want to use year intervals in the copyright notices. - os.environ['UPDATE_COPYRIGHT_USE_INTERVALS'] = '1' + # We want to use year intervals in the copyright notices, and + # all years should be collapsed to one single year interval, + # even if there are "holes" in the list of years found in the + # original copyright notice (OK'ed by the FSF, case [gnu.org #719834]). + os.environ['UPDATE_COPYRIGHT_USE_INTERVALS'] = '2' # Perform the update, and save the output in a string. update_cmd = ['bash', 'gdb/gnulib/extra/update-copyright'] + update_list |