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.
This commit is contained in:
parent
70160166c3
commit
e23d4a9c47
@ -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.
|
||||
|
@ -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'
|
||||
)
|
||||
|
Loading…
Reference in New Issue
Block a user