tree a612804c16221b192bb9b065ee9b8b9efb79b18b
parent bcdd2a9c88772edead74828b4b2d2dfc9972395c
author Patrick Georgi <pgeorgi@google.com> 1574437016 +0100
committer Commit Bot <commit-bot@chromium.org> 1588177296 +0000

UPSTREAM: 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.

BUG=none
BRANCH=none
TEST=none

Change-Id: I893f8459097cb0e2c57599fa70c7abdb19f54c5c
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Original-Commit-Id: 60e0dc3919324ae7a5c3f2766790b0c76c39f25c
Original-Change-Id: Ia8e0377537ff7cd638c564037ea6a77b01a87243
Original-Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Original-Reviewed-on: https://review.coreboot.org/c/coreboot/+/37150
Original-Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Original-Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Original-Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/third_party/coreboot/+/2173056
Reviewed-by: Patrick Georgi <pgeorgi@chromium.org>
Commit-Queue: Patrick Georgi <pgeorgi@chromium.org>
Tested-by: Patrick Georgi <pgeorgi@chromium.org>