Fix copyright years in gdbarch.h and gdbarch.c.
authorJoel Brobecker <brobecker@gnat.com>
Wed, 19 Dec 2012 08:20:43 +0000 (08:20 +0000)
committerJoel Brobecker <brobecker@gnat.com>
Wed, 19 Dec 2012 08:20:43 +0000 (08:20 +0000)
commitbf6be9db918c861cb7cc2b69ac0a08227b9b1708
tree3894811dac6ffa2cfb3d22fb1fbc43f3685c3d11
parent7785b8804f92599e62d52fb8cf61c7b5553ae2a3
Fix copyright years in gdbarch.h and gdbarch.c.

copyright.py was updating gdbarch.sh' copyright years, but not
the function that genarates the copyright headers for gdbarch.[hc].

This patch makes the following changes:
  - fixes gdbarch.sh and regenerates gdbarch.[hc]

  - Modify copyright.py to remind the user to update gdbarch.sh
    by hand.  This should also remind the user to rerun the script
    and update gdbarch.[hc] - see next point;

  - Allow copyright.py to update gdbarch.[hc]'c copyright years,
    even though these are generated files;  This should free
    the user from having to update gdbarch.[hc] himself;

gdb/ChangeLog:

        * gdbarch.sh (copyright): Update copyright years.
        * gdbarch.h, gdbarch.c: Regenerate.
        * copyright.py (EXCLUDE_LIST): Remove gdbarch.h and gdbarch.c.
        (MULTIPLE_COPYRIGHT_HEADERS): Add 'gdb/gdbarch.sh'.
gdb/ChangeLog
gdb/copyright.py
gdb/gdbarch.c
gdb/gdbarch.h
gdb/gdbarch.sh