diff options
author | Martin Roth <martinroth@google.com> | 2015-11-27 18:45:45 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2015-12-02 16:09:06 +0100 |
commit | 7aa3ceaf24bb29beba3b67138397cb4f3b5848a4 (patch) | |
tree | 61625b8a19aacf6f2fd87afde6d106378ac5bec2 /src/cpu/x86/Makefile.inc | |
parent | d808017760a9f9ecd1e6820dd5a92d14f14c6146 (diff) |
kconfig_lint: Change from '$file at line $line' to $file:$line
Combine the file and line number into a combination that editors
understand when opening files. This makes it easier to edit the
errors.
Change-Id: Id2fae6a0a2ca8d726b95e252d80ac918f4edbe23
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/12561
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/cpu/x86/Makefile.inc')
0 files changed, 0 insertions, 0 deletions