diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2020-05-11 23:43:40 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-05-18 07:06:22 +0000 |
| commit | d906b21e2e1b5b4d5c1290436d4eaf1d5bc27070 (patch) | |
| tree | 635d9ca79e8b9e2fa74cb01f4617721f8f278788 /src/console/die.c | |
| parent | 33e19ac6199fcd19da98ac70208581b107bf2cde (diff) | |
util/release: Improve reporting of required tools
genrelnotes checks for cloc, git and rename but only reported about
needing the first two, so mention `rename` in missing message.
Change-Id: If91d759fc68760fd89b98756ac5b19ac3589c197
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/41338
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'src/console/die.c')
0 files changed, 0 insertions, 0 deletions