[coreboot-gerrit] Patch merged into coreboot/master: kconfig_lint: Update prompt structure

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit b58d349ca92b19869aaf9add81e83d37cad83a7a
Author: Martin Roth <martinroth at google.com>
Date:   Mon Jan 25 16:42:13 2016 -0700

    kconfig_lint: Update prompt structure
    
    - The prompts were not getting incremented, so each prompt for a symbol
    would overwrite the previous.
    - Record the menu each prompt is in.
    
    Change-Id: Ia282a30344d5e135f4f2027be9aff0e49a4e5edb
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/13461
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit