diff options
| author | Martin Roth <gaumless@gmail.com> | 2024-01-18 16:12:31 -0700 |
|---|---|---|
| committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2024-01-24 11:54:40 +0000 |
| commit | 030e6439511de66e25c997eb50ee3abab1759b3b (patch) | |
| tree | 6488fc966245c17944300bb1e936ea30b2706454 /src/mainboard/protectli/vault_ehl | |
| parent | 403d4a984d33aafc8c7beb97f0c039e3e4d79726 (diff) | |
mb/lenovo to mb/squared: Rename Makefiles from .inc to .mk
The .inc suffix is confusing to various tools as it's not specific to
Makefiles. This means that editors don't recognize the files, and don't
open them with highlighting and any other specific editor functionality.
This issue is also seen in the release notes generation script where
Makefiles get renamed before running cloc.
Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: I4790adb41cb62c8c8dd44261a2926dfb6350955a
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80111
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Erik van den Bogaert <ebogaert@eltan.com>
Reviewed-by: Maximilian Brune <maximilian.brune@9elements.com>
Diffstat (limited to 'src/mainboard/protectli/vault_ehl')
| -rw-r--r-- | src/mainboard/protectli/vault_ehl/Makefile.mk (renamed from src/mainboard/protectli/vault_ehl/Makefile.inc) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/mainboard/protectli/vault_ehl/Makefile.inc b/src/mainboard/protectli/vault_ehl/Makefile.mk index 9680cbeeef..9680cbeeef 100644 --- a/src/mainboard/protectli/vault_ehl/Makefile.inc +++ b/src/mainboard/protectli/vault_ehl/Makefile.mk |