diff options
author | Arthur Heymans <arthur@aheymans.xyz> | 2019-11-05 12:06:59 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2019-11-06 14:01:00 +0000 |
commit | 55f01326cc04f8366a451bcaa4308531281a32d4 (patch) | |
tree | d0cafd8d53224ec280d8b02187d6638f87fb5d7d /src/mainboard/google/trogdor/Makefile.inc | |
parent | 4e39c824e07f192c35afa88dcceee863528dbd32 (diff) |
util/lint/kconfig_lint: Handle glob prefix and suffix
Change-Id: I9067a95ff171d6da58583b3d4f15596b4584d937
Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/36626
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'src/mainboard/google/trogdor/Makefile.inc')
0 files changed, 0 insertions, 0 deletions