summaryrefslogtreecommitdiff
path: root/util/lint
diff options
context:
space:
mode:
authorElyes HAOUAS <ehaouas@noos.fr>2020-08-26 21:05:47 +0200
committerPatrick Georgi <pgeorgi@google.com>2020-08-31 06:36:18 +0000
commit668132a47c97f22631b021a580f694ea8680e927 (patch)
treeb93d2d5bdbcb31847e12d70240774f19082bb6a0 /util/lint
parent55a044c8ab818fa38f87817ca9db2361d2e58983 (diff)
downloadcoreboot-668132a47c97f22631b021a580f694ea8680e927.tar.xz
{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/lint')
-rwxr-xr-xutil/lint/lint-000-license-headers1
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\$|\