diff options
author | Martin Roth <gaumless@gmail.com> | 2024-01-18 16:10:01 -0700 |
---|---|---|
committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2024-01-24 11:54:19 +0000 |
commit | 5d6d8008403d09a97188e345307c6b6d652c2576 (patch) | |
tree | 48637822cb6d0f9b1cd771dd1a6f25e371f1d96a /util/msrtool | |
parent | 03d509ff0065f8a6289d614f5b8189f008dbc206 (diff) |
mb/google/sarien to zork: 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: Ib8a2ae26ed4380592d15e1a7b2d682639413af01
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80109
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Reviewed-by: Maximilian Brune <maximilian.brune@9elements.com>
Diffstat (limited to 'util/msrtool')
0 files changed, 0 insertions, 0 deletions