doc/getting_started: update name of file generated by "make savedefconfig"

Update kconfig.md to reflect that defconfig (instead of mini-config)
file is generated by running "make savedefconfig".

Signed-off-by: Jonathan Zhang <jonzhang@fb.com>
Change-Id: I4075e5b51e3c504eaad25e3abfc52ba593364ee9
Reviewed-on: https://review.coreboot.org/c/coreboot/+/43973
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
This commit is contained in:
Jonathan Zhang 2020-07-27 10:42:07 -07:00 committed by Patrick Georgi
parent 3715785a49
commit b84bd303ee
1 changed files with 1 additions and 1 deletions

View File

@ -52,7 +52,7 @@ command line.
not have an answer yet, it stops and queries the user for the desired value. not have an answer yet, it stops and queries the user for the desired value.
- olddefconfig - Generates a config, using the default value for any symbols not - olddefconfig - Generates a config, using the default value for any symbols not
listed in the .config file. listed in the .config file.
- savedefconfig - Creates a mini-config file, stripping out all of the symbols - savedefconfig - Creates a defconfig file, stripping out all of the symbols
that were left as default values. This is very useful for debugging, and is that were left as default values. This is very useful for debugging, and is
how config files should be saved. how config files should be saved.
- silentoldconfig - This evaluates the .config file the same way that the - silentoldconfig - This evaluates the .config file the same way that the