diff options
| author | Elyes HAOUAS <ehaouas@noos.fr> | 2020-08-26 21:05:47 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-08-31 06:36:18 +0000 |
| commit | 668132a47c97f22631b021a580f694ea8680e927 (patch) | |
| tree | b93d2d5bdbcb31847e12d70240774f19082bb6a0 /util | |
| parent | 55a044c8ab818fa38f87817ca9db2361d2e58983 (diff) | |
{intel/gma,include/device}: Delete unused 'drm_dp_helper.h' file
'drm_dp_helper.h' file is duplicated and not used.
Change-Id: Ibb08f7ff91c3914940dfe899be331b06e292c7c9
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/44842
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Diffstat (limited to 'util')
| -rwxr-xr-x | util/lint/lint-000-license-headers | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers index 3f62a9b105..55c206226d 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -12,7 +12,6 @@ HEADER_EXCLUDED="\ ^src/device/oprom/x86emu/|\ ^src/device/oprom/include/x86emu/|\ ^src/device/oprom/yabel/|\ -^src/drivers/intel/gma/drm_dp_helper.h\$|\ ^src/drivers/net/ne2k.c\$|\ ^src/drivers/xgi/common/initdef.h\$|\ ^src/drivers/xgi/common/vstruct.h\$|\ |