diff options
author | Martin Roth <gaumless@gmail.com> | 2024-01-18 10:49:48 -0700 |
---|---|---|
committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2024-01-24 08:35:25 +0000 |
commit | d8796e50f322ea81fb61ebfce60f3f4d82d0bf2c (patch) | |
tree | 2d1d41d2b9866b695d0f4ab7313fae28982ca790 /src/ec/google/wilco | |
parent | b028636d02f63881e4663ff0f1ae435c00865615 (diff) |
ec: 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: Ic060f3605cd18d4bf774573c21957f626f984e2c
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80069
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Reviewed-by: Maximilian Brune <maximilian.brune@9elements.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Michael Niewöhner <foss@mniewoehner.de>
Diffstat (limited to 'src/ec/google/wilco')
-rw-r--r-- | src/ec/google/wilco/Makefile.mk (renamed from src/ec/google/wilco/Makefile.inc) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/ec/google/wilco/Makefile.inc b/src/ec/google/wilco/Makefile.mk index 77eab67f03..77eab67f03 100644 --- a/src/ec/google/wilco/Makefile.inc +++ b/src/ec/google/wilco/Makefile.mk |