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 5912c50..fed98e5 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,9 @@
 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.
 
 2012-06-05  Joel Brobecker  <brobecker@adacore.com>

diff --git a/gdb/copyright.py b/gdb/copyright.py
index ff51ca4..30ead5d 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'
 )