tree 25ddfb3cbc29b17a2d943bf4c3cef9cfb999b679
parent 318e5830dbed98e6ae7574812b4d8b5b6496341c
author Patrick Georgi <pgeorgi@google.com> 1574437016 +0100
committer Patrick Georgi <pgeorgi@google.com> 1588157167 +0000

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>