diff options
| author | Juan Castillo <juan.castillo@arm.com> | 2015-03-11 14:21:53 +0000 |
|---|---|---|
| committer | Juan Castillo <juan.castillo@arm.com> | 2015-03-11 15:45:59 +0000 |
| commit | 9b4ee6b3e3dcbc6892c2a658f895bd83124dac51 (patch) | |
| tree | 3c83c3e0e8b9588ab48e4bd0db53294a2544eff5 /include/stdlib/stdio.h | |
| parent | 5930eadbe5d8d4c3f15fd910476f72cd5bf86f44 (diff) | |
checkpatch: ignore GIT_COMMIT_ID
By default, the checkpatch script requires that commit references
included in commit messages follow a predefined format. Github
merge commits do not follow this convention, causing the code
style test to fail when a new pull request is created.
This patch adds the ignore GIT_COMMIT_ID option to the checkpatch
parameters. This flag indicates the tool to ignore the commit
message format.
Change-Id: I37133cc5cf803f664b8ff00f62d458b39f06918c
Diffstat (limited to 'include/stdlib/stdio.h')
0 files changed, 0 insertions, 0 deletions