copyright.py: Add gdb/CONTRIBUTE to EXCLUDE_LIST.

Normally, all files should have a copyright header, but gdb/CONTRIBUTE
currently doesn't, and it adding one at the top of the file would
probably be more pollution than information.  So don't require
a copyright header for now.

gdb/ChangeLog:

        * copyright.py (EXCLUDE_LIST): Add 'gdb/CONTRIBUTE' to list.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 5912c5080df627365517e8b8e8ce910c5eb37c3a..fed98e592b35c48689a76cc8411a80c8b81a42a4 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2012-06-05  Joel Brobecker  <brobecker@adacore.com>
+
+       * copyright.py (EXCLUDE_LIST): Add 'gdb/CONTRIBUTE' to list.
+
 2012-06-05  Joel Brobecker  <brobecker@adacore.com>
 
        * config/djgpp/djcheck.sh: Add copyright header.

diff --git a/gdb/copyright.py b/gdb/copyright.py
index ff51ca4b7fe3f2f7347ded65ef7e7a02bfad13ae..30ead5dd4b7c5ae6bd4d0b1c53ebed5d57a2c4d7 100644 (file)
--- a/gdb/copyright.py
+++ b/gdb/copyright.py
@@ -171,6 +171,7 @@ def main ():
 #
 # Filenames are relative to the root directory.
 EXCLUDE_LIST = (
+    'gdb/CONTRIBUTE',
     'gdb/gdbarch.c', 'gdb/gdbarch.h',
     'gdb/gnulib'
 )