diff options
| author | Martin Roth <gaumless@gmail.com> | 2024-01-18 12:34:16 -0700 |
|---|---|---|
| committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2024-01-24 10:12:57 +0000 |
| commit | f845adc2448c56096f4ba64f676937d9fbdd061b (patch) | |
| tree | 5d6145dd84a33161409293fca4d2b00781914ca1 /src/lib | |
| parent | 367fff56faaff6fca27240f481c6c0a40113d68b (diff) | |
lib,console,sbom: 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: I9eabe84d55fd9f434e4128866810c0e4970f2ae7
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80081
Reviewed-by: Michael Niewöhner <foss@mniewoehner.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Maximilian Brune <maximilian.brune@9elements.com>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/Makefile.mk (renamed from src/lib/Makefile.inc) | 0 | ||||
| -rw-r--r-- | src/lib/gnat/Makefile.mk (renamed from src/lib/gnat/Makefile.inc) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/src/lib/Makefile.inc b/src/lib/Makefile.mk index fd3f464ffd..fd3f464ffd 100644 --- a/src/lib/Makefile.inc +++ b/src/lib/Makefile.mk diff --git a/src/lib/gnat/Makefile.inc b/src/lib/gnat/Makefile.mk index 150a715067..150a715067 100644 --- a/src/lib/gnat/Makefile.inc +++ b/src/lib/gnat/Makefile.mk |