diff options
| author | Martin Roth <gaumless@gmail.com> | 2024-01-18 12:38:34 -0700 |
|---|---|---|
| committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2024-01-24 10:02:41 +0000 |
| commit | d0037efda9e9ce855279d21b891d29edbfb664fb (patch) | |
| tree | 44357607200028db703837b21ed814525ae1b213 /src/mainboard/emulation/spike-riscv/clint.c | |
| parent | ea198585628ea58a90d85957b7b87b8fd46b0176 (diff) | |
soc/*: 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: I6f502b97864fd7782e514ee2daa902d2081633a2
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80074
Reviewed-by: Maximilian Brune <maximilian.brune@9elements.com>
Reviewed-by: Michael Niewöhner <foss@mniewoehner.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Diffstat (limited to 'src/mainboard/emulation/spike-riscv/clint.c')
0 files changed, 0 insertions, 0 deletions