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 | f1d1c675107edf9321889033f824c07dda581a84 (patch) | |
| tree | 8454072e6603173de1a43cd7826298ebb11a63b7 /gdb/copyright.py | |
| parent | 96d3d3b9c7ccf6c64932fffaf0f5f1ae093492a6 (diff) | |
| download | gdb-f1d1c675107edf9321889033f824c07dda581a84.tar.gz | |
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 ff51ca4b7fe..30ead5dd4b7 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' ) |