diff options
author | Patrick Georgi <pgeorgi@google.com> | 2020-11-02 18:08:14 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-11-04 09:38:08 +0000 |
commit | 5193312e1e26d3e9e865cb4584b823cfe2e52f0d (patch) | |
tree | 729d32be7c21d9d277505aa2bbb98c6a52513ad8 /src/drivers/net | |
parent | 50526d5a307bf614d8ca3107836c93dad3ee1dd0 (diff) |
util/sconfig: Report which key is duplicate
It slightly helps debugging issues when you know what to look out for.
Change-Id: I21eafaf8291701316aa920e458ba74535121b0a1
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/47103
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'src/drivers/net')
0 files changed, 0 insertions, 0 deletions