diff options
| author | Martin Roth <martinroth@google.com> | 2016-12-22 10:54:55 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2017-01-09 18:14:10 +0100 |
| commit | 23ceb7d240a16427d07746cc3c6b06a8418c9a1e (patch) | |
| tree | b03ed3718785f0096d2b8a4183dd48b23f3577a5 /src/include | |
| parent | a132892de696d011e61cea2828c0e4c93fc3b3aa (diff) | |
util/lint: Add check for the signed-off-by line
Gerrit will let you push a patch without a signed-off-by line,
although I believe it can't actually be merged. Instead of catching
it either manually, or when the patch is attempting to be merged,
catch this in the jenkins builder.
Change-Id: I80161befa157266dd4e3209839a06ff398aab6bb
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/17941
Tested-by: build bot (Jenkins)
Reviewed-by: Marshall Dawson <marshalldawson3rd@gmail.com>
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions