From e23d4a9c473403eeda73b321da0276a6b590465f Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Tue, 5 Jun 2012 13:29:29 +0000 Subject: [PATCH] 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. --- gdb/ChangeLog | 4 ++++ gdb/copyright.py | 1 + 2 files changed, 5 insertions(+) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 5912c5080df..fed98e592b3 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2012-06-05 Joel Brobecker + + * copyright.py (EXCLUDE_LIST): Add 'gdb/CONTRIBUTE' to list. + 2012-06-05 Joel Brobecker * config/djgpp/djcheck.sh: Add copyright header. 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' ) -- 2.30.2