[coreboot-gerrit] Patch merged into coreboot/master: kconfig_lint: Change from '$file at line $line' to $file:$line

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 7aa3ceaf24bb29beba3b67138397cb4f3b5848a4
Author: Martin Roth <martinroth at google.com>
Date:   Fri Nov 27 18:45:45 2015 -0700

    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 at google.com>
    Reviewed-on: https://review.coreboot.org/12561
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


See https://review.coreboot.org/12561 for details.

-gerrit