tree 77f3c351e1bcebfcc96f55b41cc7adf576a2e666
parent 754d78b1b331b07456c6ea439e401402a186c626
author Sandrine Bailleux <sandrine.bailleux@arm.com> 1464862799 +0100
committer Sandrine Bailleux <sandrine.bailleux@arm.com> 1465199524 +0100

Move checkpatch options in a configuration file

At the moment, the top Makefile specifies the options to pass to the
checkpatch script in order to check the coding style. The checkpatch
script also supports reading its options from a configuration file
rather than from the command line.

This patch makes use of this feature and moves the checkpatch options
out of the Makefile. This simplifies the Makefile and makes things
clearer.

This patch also adds some more checkpatch options:
  --showfile
  --ignore FILE_PATH_CHANGES
  --ignore AVOID_EXTERNS
  --ignore NEW_TYPEDEFS
  --ignore VOLATILE
The rationale behind each of these options has been documented
in the configuration file.

Change-Id: I423e1abe5670c0f57046cbf705f89a8463898676