diff options
| author | Joel Brobecker <brobecker@gnat.com> | 2012-06-05 13:29:29 +0000 |
|---|---|---|
| committer | Joel Brobecker <brobecker@gnat.com> | 2012-06-05 13:29:29 +0000 |
| commit | e23d4a9c473403eeda73b321da0276a6b590465f (patch) | |
| tree | 6ab351e693a901fa12007df21fbdf18f2b6c1300 /gdb/copyright.py | |
| parent | 70160166c39fa1d2dada77808ae8662f9b02f2c4 (diff) | |
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.
Diffstat (limited to 'gdb/copyright.py')
| -rw-r--r-- | gdb/copyright.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/copyright.py b/gdb/copyright.py index ff51ca4b7f..30ead5dd4b 100644 --- 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' ) |