GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

checkpatch.conf: Disable gerrit change ID for coreboot 

The GERRIT_CHANGE_ID Error is useful for the linux flow, but since
coreboot uses gerrit, giving an error on the ID doesn't make sense.

Change-Id: I7f6efb5559027ed9497ee85497bb4b4e786f9901
Signed-off-by: Martin Roth <martin@coreboot.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/63030
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-by: Felix Singer <felixsinger@posteo.net>
Reviewed-by: Subrata Banik <subratabanik@google.com>
This commit is contained in:
Martin Roth 2022-03-22 16:27:12 -06:00 committed by Martin Roth
parent cfe9253773
commit a3cd3066ba
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.checkpatch.conf
View File

@ -22,6 +22,7 @@
--ignore PRINTK_WITHOUT_KERN_LEVEL --ignore PRINTK_WITHOUT_KERN_LEVEL
--ignore ASSIGN_IN_IF --ignore ASSIGN_IN_IF
--ignore UNNECESSARY_ELSE --ignore UNNECESSARY_ELSE
--ignore GERRIT_CHANGE_ID
# FILE_PATH_CHANGES seems to not be working correctly. It will # FILE_PATH_CHANGES seems to not be working correctly. It will
# choke on added / deleted files even if the MAINTAINERS file # choke on added / deleted files even if the MAINTAINERS file