diff options
| author | Martin Roth <martinroth@google.com> | 2016-01-25 16:42:13 -0700 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-01-30 17:28:44 +0100 |
| commit | b58d349ca92b19869aaf9add81e83d37cad83a7a (patch) | |
| tree | 34b774aa0ea92420eeec96b4f59cb16516c53f42 /util/vgabios/include | |
| parent | 08ee1cfafc2464cbeccaf3ede553b4c4e9b66367 (diff) | |
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@google.com>
Reviewed-on: https://review.coreboot.org/13461
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/vgabios/include')
0 files changed, 0 insertions, 0 deletions