diff options
author | Patrick Georgi <pgeorgi@google.com> | 2019-11-22 16:36:56 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-04-29 10:46:07 +0000 |
commit | 60e0dc3919324ae7a5c3f2766790b0c76c39f25c (patch) | |
tree | 25ddfb3cbc29b17a2d943bf4c3cef9cfb999b679 /Documentation | |
parent | 318e5830dbed98e6ae7574812b4d8b5b6496341c (diff) |
util/kconfig: Remove miniconfig script
It replicates the functionality of savedefconfig because back when the
script was added, savedefconfig didn't work for us. It now does, is
the official way of doing things, is recommended in our documentation
and is also a fair bit faster.
Change-Id: Ia8e0377537ff7cd638c564037ea6a77b01a87243
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/37150
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions