diff options
| author | Simon Glass | 2018-09-14 04:57:25 -0600 |
|---|---|---|
| committer | Simon Glass | 2018-09-28 11:09:01 -0600 |
| commit | 04187a845c86215da0e3ad680cdcf2fc7515b99a (patch) | |
| tree | 87601182b585a6df18c8910a7cc3be87cef7991c /tools/binman | |
| parent | 6ed45ba0a831393ab6c5d3355384238d2b4f47da (diff) | |
patman: Detect missing tools and report them
When tools are needed but not present, at present we just get an error
which can be confusing for the user. Try to be helpful by reporting the
tool as missing and suggesting a possible remedy.
Also update the Run() method to support this.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'tools/binman')
0 files changed, 0 insertions, 0 deletions