diff options
| author | Martin Roth <gaumless@gmail.com> | 2024-01-18 13:18:47 -0700 |
|---|---|---|
| committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2024-01-24 10:04:10 +0000 |
| commit | af880447028ae532428224097ca171a3e729afd4 (patch) | |
| tree | e7c249896beade5213c854dfcc2ba77b0570cddf /src/drivers/ipmi | |
| parent | b72ad6657c7a4a9cddfa0fc1a0e94a939c0caccc (diff) | |
driver/intel to /driver/ocp: 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: Id47a5ef3c53f767d1e03c788e0022d05b21f5c28
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80079
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Maximilian Brune <maximilian.brune@9elements.com>
Diffstat (limited to 'src/drivers/ipmi')
| -rw-r--r-- | src/drivers/ipmi/Makefile.mk (renamed from src/drivers/ipmi/Makefile.inc) | 0 | ||||
| -rw-r--r-- | src/drivers/ipmi/ocp/Makefile.mk (renamed from src/drivers/ipmi/ocp/Makefile.inc) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/src/drivers/ipmi/Makefile.inc b/src/drivers/ipmi/Makefile.mk index ade7147030..ade7147030 100644 --- a/src/drivers/ipmi/Makefile.inc +++ b/src/drivers/ipmi/Makefile.mk diff --git a/src/drivers/ipmi/ocp/Makefile.inc b/src/drivers/ipmi/ocp/Makefile.mk index 8141ed6876..8141ed6876 100644 --- a/src/drivers/ipmi/ocp/Makefile.inc +++ b/src/drivers/ipmi/ocp/Makefile.mk |