diff options
| author | Martin Roth <martinroth@google.com> | 2018-08-10 21:04:05 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-08-13 12:32:15 +0000 |
| commit | 60915b31576cbd84fdc4a71a0a0d3d9a6f0911cc (patch) | |
| tree | d5fb614249db32ff861b5939524f80ce10a37105 /src/lib/hw-time-timer.adb | |
| parent | 8da2fa06f87484ac1861d8f7985621287f4a38b2 (diff) | |
util/lint: update checkpatch.pl to latest linux version
Taken from Linux upstream commit ffe075132af8b7967089c361e506d4fa747efd14
Change-Id: I43d09a912fafe896c045df080c0f75fe6d908087
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/28046
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'src/lib/hw-time-timer.adb')
0 files changed, 0 insertions, 0 deletions