Import gnulib's latest update-copyright script...

[platform/upstream/binutils.git] / gdb / copyright.py

diff --git a/gdb/copyright.py b/gdb/copyright.py
index d2df65e..180e7c4 100644 (file)
--- 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