diff options
| author | Martin Roth <gaumless@gmail.com> | 2024-04-11 20:54:05 -0600 |
|---|---|---|
| committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2024-04-20 21:08:36 +0000 |
| commit | 8b53aa6eee3bf82b9bde323eca32fbab88983c1a (patch) | |
| tree | 48f006bf3cf30a23324d374547ca2e06389326ae /configs | |
| parent | 63ca402088883a3b89adea1ccd40045dbd4895c1 (diff) | |
util/lint: Add lint rule to watch for Makefile.inc
This should keep new makefiles from being named Makefile.inc.
Change-Id: I4a47998e1c997b82b8a15319eae96cdc0de64e77
Signed-off-by: Martin Roth <gaumless@gmail.com>
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/81857
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Varshit Pandya <pandyavarshit@gmail.com>
Diffstat (limited to 'configs')
0 files changed, 0 insertions, 0 deletions